Ticket #892: foo

File foo, 289 bytes (added by guest, 8 years ago)
Line 
1instance (Lift a) => Lift (Maybe a) where
2    lift Nothing = [| Prelude.Nothing |]
3    lift (Just a) = [| Prelude.Just $(lift a) |]
4
5instance (Lift a, Lift b) => Lift (Either a b) where
6    lift (Left  a) = [| Prelude.Left  $(lift a) |]
7    lift (Right b) = [| Prelude.Right $(lift b) |]
8