Idris2Doc : Data.IMaybe

Data.IMaybe

Version of Maybe indexed by an `isJust' boolean
dataIMaybe : Bool -> Type -> Type
Totality: total
Constructors:
Just : a -> IMaybeTruea
Nothing : IMaybeFalsea
fromJust : IMaybeTruea -> a
Totality: total