Data.Linear.LList

Definitions

data LList : Type -> Type

Totality: total
Visibility: public export
Constructors:

Nil : LList a

(::) : a -@ (LList a -@ LList a)

Hints:

Consumable a => Consumable (LList a)

Duplicable a => Duplicable (LList a)

length : Consumable a => LList a -@ LNat

Totality: total
Visibility: export