Lines Matching refs:Lift
24 module Control.Applicative.Lift (
26 Lift(..),
47 data Lift f a = Pure a | Other (f a) function
49 instance (Eq1 f) => Eq1 (Lift f) where
56 instance (Ord1 f) => Ord1 (Lift f) where
63 instance (Read1 f) => Read1 (Lift f) where
68 instance (Show1 f) => Show1 (Lift f) where
73 instance (Eq1 f, Eq a) => Eq (Lift f a) where (==) = eq1
74 instance (Ord1 f, Ord a) => Ord (Lift f a) where compare = compare1
75 instance (Read1 f, Read a) => Read (Lift f a) where readsPrec = readsPrec1
76 instance (Show1 f, Show a) => Show (Lift f a) where showsPrec = showsPrec1
78 instance (Functor f) => Functor (Lift f) where
83 instance (Foldable f) => Foldable (Lift f) where
88 instance (Traversable f) => Traversable (Lift f) where
94 instance (Applicative f) => Applicative (Lift f) where
104 instance (Alternative f) => Alternative (Lift f) where
113 unLift :: (Applicative f) => Lift f a -> f a
119 mapLift :: (f a -> g a) -> Lift f a -> Lift g a
130 elimLift :: (a -> r) -> (f a -> r) -> Lift f a -> r
148 type Errors e = Lift (Constant e)