Libraries.Data.IMaybe

Definitions

data IMaybe : Bool -> Type -> Type

Totality: total
Visibility: public export
Constructors:

Nothing : IMaybe False a

Just : a -> IMaybe True a

Hint: 

Functor (IMaybe b)

fromJust : IMaybe True a -> a

Totality: total
Visibility: export

toList : IMaybe b a -> List a

Totality: total
Visibility: export