hat-2.9.0.0: The Haskell tracer, generating and viewing Haskell execution traces
Hat.Data.Maybe
data Maybe a Source
Constructors
Instances
aNothing :: RefAtom Source
aJust :: RefAtom Source
gmaybe :: RefSrcPos -> RefExp -> R (Fun b (Fun (Fun a b) (Fun (Maybe a) b))) Source
amaybe :: RefAtom Source
hmaybe :: R b -> R (Fun a b) -> R (Maybe a) -> RefExp -> R b Source
gisJust :: RefSrcPos -> RefExp -> R (Fun (Maybe a) Bool) Source
aisJust :: RefAtom Source
hisJust :: R (Maybe a) -> RefExp -> R Bool Source
gisNothing :: RefSrcPos -> RefExp -> R (Fun (Maybe a) Bool) Source
gfromJust :: RefSrcPos -> RefExp -> R (Fun (Maybe a) a) Source
afromJust :: RefAtom Source
hfromJust :: R (Maybe a) -> RefExp -> R a Source
gfromMaybe :: RefSrcPos -> RefExp -> R (Fun a (Fun (Maybe a) a)) Source
afromMaybe :: RefAtom Source
hfromMaybe :: R a -> R (Maybe a) -> RefExp -> R a Source
glistToMaybe :: RefSrcPos -> RefExp -> R (Fun (List a) (Maybe a)) Source
alistToMaybe :: RefAtom Source
hlistToMaybe :: R (List a) -> RefExp -> R (Maybe a) Source
gmaybeToList :: RefSrcPos -> RefExp -> R (Fun (Maybe a) (List a)) Source
amaybeToList :: RefAtom Source
hmaybeToList :: R (Maybe a) -> RefExp -> R (List a) Source
gcatMaybes :: RefSrcPos -> RefExp -> R (Fun (List (Maybe a)) (List a)) Source
acatMaybes :: RefAtom 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
amapMaybe :: RefAtom Source
hmapMaybe :: R (Fun a (Maybe b)) -> RefExp -> R (Fun (List a) (List b)) Source