Data.Linear.LMaybe

Definitions

data LMaybe : Type -> Type

  Linear version of Maybe

Totality: total
Visibility: public export
Constructors:

Nothing : LMaybe a

Just : a -@ LMaybe a

Hints:

Consumable a => Consumable (LMaybe a)

Duplicable a => Duplicable (LMaybe a)

(<$>) : a -@ b -> LMaybe a -@ LMaybe b

Totality: total
Visibility: export
Fixity Declaration: infixr operator, level 4