UVMHS.Lib.Annotated
data 𝐴 e a Source #
Constructors
Fields
Defined in UVMHS.Lib.THLiftInstances
Methods
lift :: Quote m => 𝐴 𝒸 a -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => 𝐴 𝒸 a -> Code m (𝐴 𝒸 a) #
Defined in UVMHS.Lib.Annotated
(=≫) :: 𝐴 t a -> (𝐴 t a -> b) -> 𝐴 t b Source #
extract :: 𝐴 t a -> a Source #
map :: (a -> b) -> 𝐴 t a -> 𝐴 t b Source #
mapM :: Monad m => (a -> m b) -> 𝐴 t a -> m (𝐴 t b) Source #
Associated Types
from :: 𝐴 e a -> Rep (𝐴 e a) x #
to :: Rep (𝐴 e a) x -> 𝐴 e a #
showsPrec :: Int -> 𝐴 e a -> ShowS #
show :: 𝐴 e a -> String #
showList :: [𝐴 e a] -> ShowS #
(==) :: 𝐴 t a -> 𝐴 t a -> Bool #
(/=) :: 𝐴 t a -> 𝐴 t a -> Bool #
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 #
(⧺) :: 𝐴 e a -> 𝐴 e a -> 𝐴 e a Source #
null :: 𝐴 e a Source #
pretty :: 𝐴 e a -> Doc Source #
atagL :: 𝐴 e a ⟢ e Source #
avalL :: 𝐴 e a ⟢ a 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 #