hat-2.9.0.0: The Haskell tracer, generating and viewing Haskell execution traces

Safe HaskellNone
LanguageHaskell98

Hat.Maybe

Documentation

hfromJust :: R (Maybe a) -> RefExp -> R a Source

hfromMaybe :: R a -> R (Maybe a) -> RefExp -> R a Source

hcatMaybes :: R (List (Maybe a)) -> RefExp -> R (List a) Source

gmapMaybe :: RefSrcPos -> RefExp -> R (Fun (Fun a (Maybe b)) (Fun (List a) (List b))) Source

hmapMaybe :: R (Fun a (Maybe b)) -> RefExp -> R (Fun (List a) (List b)) Source

data Maybe a Source

Constructors

Nothing 
Just (R a) 

Instances

Monad Maybe 
Functor Maybe 
MonadPlus Maybe 
WrapVal (Maybe a) 
Show a => Show (Maybe a) 
Read a => Read (Maybe a) 
Ord a => Ord (Maybe a) 
Eq a => Eq (Maybe a) 

gmaybe :: RefSrcPos -> RefExp -> R (Fun b (Fun (Fun a b) (Fun (Maybe a) b))) Source

hmaybe :: R b -> R (Fun a b) -> R (Maybe a) -> RefExp -> R b Source