Safe Haskell	Safe-Inferred
Language	Haskell2010

UVMHS.Lib.Annotated

Documentation

data 𝐴 e a Source #

Constructors

𝐴
Fields atag :: e aval :: a

Instances

Instances details

(Lift 𝒸, Lift a) => Lift (𝐴 𝒸 a :: Type) Source #
Instance details Defined in UVMHS.Lib.THLiftInstances Methods lift :: Quote m => 𝐴 𝒸 a -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => 𝐴 𝒸 a -> Code m (𝐴 𝒸 a) #
Cobind (𝐴 t) Source #
Instance details Defined in UVMHS.Lib.Annotated Methods (=≫) :: 𝐴 t a -> (𝐴 t a -> b) -> 𝐴 t b Source #
Comonad (𝐴 t) Source #
Instance details Defined in UVMHS.Lib.Annotated
Extract (𝐴 t) Source #
Instance details Defined in UVMHS.Lib.Annotated Methods extract :: 𝐴 t a -> a Source #
Functor (𝐴 t) Source #
Instance details Defined in UVMHS.Lib.Annotated Methods map :: (a -> b) -> 𝐴 t a -> 𝐴 t b Source #
FunctorM (𝐴 t) Source #
Instance details Defined in UVMHS.Lib.Annotated Methods mapM :: Monad m => (a -> m b) -> 𝐴 t a -> m (𝐴 t b) Source #
(Show e, Show a) => Show (𝐴 e a) Source #
Instance details Defined in UVMHS.Lib.Annotated Methods showsPrec :: Int -> 𝐴 e a -> ShowS # show :: 𝐴 e a -> String # showList :: [𝐴 e a] -> ShowS #
Eq a => Eq (𝐴 t a) Source #
Instance details Defined in UVMHS.Lib.Annotated Methods (==) :: 𝐴 t a -> 𝐴 t a -> Bool # (/=) :: 𝐴 t a -> 𝐴 t a -> Bool #
Ord a => Ord (𝐴 t a) Source #
Instance details Defined in UVMHS.Lib.Annotated Methods compare :: 𝐴 t a -> 𝐴 t a -> Ordering # (<) :: 𝐴 t a -> 𝐴 t a -> Bool # (<=) :: 𝐴 t a -> 𝐴 t a -> Bool # (>) :: 𝐴 t a -> 𝐴 t a -> Bool # (>=) :: 𝐴 t a -> 𝐴 t a -> Bool # max :: 𝐴 t a -> 𝐴 t a -> 𝐴 t a # min :: 𝐴 t a -> 𝐴 t a -> 𝐴 t a #
(Append e, Append a) => Append (𝐴 e a) Source #
Instance details Defined in UVMHS.Lib.Annotated Methods (⧺) :: 𝐴 e a -> 𝐴 e a -> 𝐴 e a Source #
(Null e, Null a) => Null (𝐴 e a) Source #
Instance details Defined in UVMHS.Lib.Annotated Methods null :: 𝐴 e a Source #
(Pretty e, Pretty a) => Pretty (𝐴 e a) Source #
Instance details Defined in UVMHS.Lib.Annotated Methods pretty :: 𝐴 e a -> Doc Source #

avalL :: forall (e :: Type) (a :: Type). (⟢) (𝐴 e a) a Source #

atagL :: forall (e :: Type) (a :: Type). (⟢) (𝐴 e a) e Source #

map𝐴 :: (e -> e') -> (a -> b) -> 𝐴 e a -> 𝐴 e' b Source #

mapATag :: (e -> e') -> 𝐴 e a -> 𝐴 e' a Source #

mapAVal :: (a -> b) -> 𝐴 e a -> 𝐴 e b Source #

mapM𝐴 :: Monad m => (e -> m e') -> (a -> m b) -> 𝐴 e a -> m (𝐴 e' b) Source #

mapMATag :: Monad m => (e -> m e') -> 𝐴 e a -> m (𝐴 e' a) Source #

mapMAVal :: Monad m => (a -> m b) -> 𝐴 e a -> m (𝐴 e b) Source #

untag :: ((() -> e) -> b -> b) -> 𝐴 e a -> (a -> b) -> b Source #

untagWith :: ((() -> e) -> b -> b) -> (a -> b) -> 𝐴 e a -> b Source #

retag :: Monad m => m e -> a -> m (𝐴 e a) Source #