Hat.Data.Maybe

Documentation

data Maybe a

Constructors

Nothing

Just (R a)

Instances

Monad Maybe

Methods

(!>>=) :: RefSrcPos -> RefExp -> R (Fun (Maybe a) (Fun (Fun a (Maybe b)) (Maybe b)))

(|>>=) :: R (Fun (Maybe a) (Fun (Fun a (Maybe b)) (Maybe b)))

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

(|>>) :: R (Fun (Maybe a) (Fun (Maybe b) (Maybe b)))

greturn :: RefSrcPos -> RefExp -> R (Fun a (Maybe a))

sreturn :: R (Fun a (Maybe a))

gfail :: RefSrcPos -> RefExp -> R (Fun String (Maybe a))

sfail :: R (Fun String (Maybe a))

Functor Maybe

Methods

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

sfmap :: R (Fun (Fun a b) (Fun (Maybe a) (Maybe b)))

MonadPlus Maybe

Methods

gmzero :: RefSrcPos -> RefExp -> R (Maybe a)

smzero :: R (Maybe a)

gmplus :: RefSrcPos -> RefExp -> R (Fun (Maybe a) (Fun (Maybe a) (Maybe a)))

smplus :: R (Fun (Maybe a) (Fun (Maybe a) (Maybe a)))

WrapVal (Maybe a)

Methods

wrapVal :: RefSrcPos -> Maybe a -> RefExp -> R (Maybe a)

Show a => Show (Maybe a)

Methods

gshowsPrec :: RefSrcPos -> RefExp -> R (Fun Int (Fun (Maybe a) ShowS))

sshowsPrec :: R (Fun Int (Fun (Maybe a) ShowS))

gshow :: RefSrcPos -> RefExp -> R (Fun (Maybe a) String)

sshow :: R (Fun (Maybe a) String)

gshowList :: RefSrcPos -> RefExp -> R (Fun (List (Maybe a)) ShowS)

sshowList :: R (Fun (List (Maybe a)) ShowS)

Read a => Read (Maybe a)

Methods

greadsPrec :: RefSrcPos -> RefExp -> R (Fun Int (ReadS (Maybe a)))

sreadsPrec :: R (Fun Int (ReadS (Maybe a)))

greadList :: RefSrcPos -> RefExp -> R (ReadS (List (Maybe a)))

sreadList :: R (ReadS (List (Maybe a)))

Ord a => Ord (Maybe a)

Methods

gcompare :: RefSrcPos -> RefExp -> R (Fun (Maybe a) (Fun (Maybe a) Ordering))

scompare :: R (Fun (Maybe a) (Fun (Maybe a) Ordering))

(!<) :: RefSrcPos -> RefExp -> R (Fun (Maybe a) (Fun (Maybe a) Bool))

(!<=) :: RefSrcPos -> RefExp -> R (Fun (Maybe a) (Fun (Maybe a) Bool))

(!>=) :: RefSrcPos -> RefExp -> R (Fun (Maybe a) (Fun (Maybe a) Bool))

(!>) :: RefSrcPos -> RefExp -> R (Fun (Maybe a) (Fun (Maybe a) Bool))

(|<) :: R (Fun (Maybe a) (Fun (Maybe a) Bool))

(|<=) :: R (Fun (Maybe a) (Fun (Maybe a) Bool))

(|>=) :: R (Fun (Maybe a) (Fun (Maybe a) Bool))

(|>) :: R (Fun (Maybe a) (Fun (Maybe a) Bool))

gmax :: RefSrcPos -> RefExp -> R (Fun (Maybe a) (Fun (Maybe a) (Maybe a)))

gmin :: RefSrcPos -> RefExp -> R (Fun (Maybe a) (Fun (Maybe a) (Maybe a)))

smax :: R (Fun (Maybe a) (Fun (Maybe a) (Maybe a)))

smin :: R (Fun (Maybe a) (Fun (Maybe a) (Maybe a)))

Eq a => Eq (Maybe a)

Methods

(!==) :: RefSrcPos -> RefExp -> R (Fun (Maybe a) (Fun (Maybe a) Bool))

(!/=) :: RefSrcPos -> RefExp -> R (Fun (Maybe a) (Fun (Maybe a) Bool))

(|==) :: R (Fun (Maybe a) (Fun (Maybe a) Bool))

(|/=) :: R (Fun (Maybe a) (Fun (Maybe a) Bool))

aNothing :: RefAtom

aJust :: RefAtom

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

amaybe :: RefAtom

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

gisJust :: RefSrcPos -> RefExp -> R (Fun (Maybe a) Bool)

aisJust :: RefAtom

hisJust :: R (Maybe a) -> RefExp -> R Bool

gisNothing :: RefSrcPos -> RefExp -> R (Fun (Maybe a) Bool)

gfromJust :: RefSrcPos -> RefExp -> R (Fun (Maybe a) a)

afromJust :: RefAtom

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

gfromMaybe :: RefSrcPos -> RefExp -> R (Fun a (Fun (Maybe a) a))

afromMaybe :: RefAtom

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

glistToMaybe :: RefSrcPos -> RefExp -> R (Fun (List a) (Maybe a))

alistToMaybe :: RefAtom

hlistToMaybe :: R (List a) -> RefExp -> R (Maybe a)

gmaybeToList :: RefSrcPos -> RefExp -> R (Fun (Maybe a) (List a))

amaybeToList :: RefAtom

hmaybeToList :: R (Maybe a) -> RefExp -> R (List a)

gcatMaybes :: RefSrcPos -> RefExp -> R (Fun (List (Maybe a)) (List a))

acatMaybes :: RefAtom

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

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

amapMaybe :: RefAtom

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