CatenableList

Definitions

interface CatenableList : (Type -> Type) -> Type

Parameters: c
Methods:

empty : c a

isEmpty : c a -> Bool

cons : a -> c a -> c a

snoc : c a -> a -> c a

(++) : c a -> c a -> c a

Fixity Declaration: infixr operator, level 7

head : c a -> a

tail : c a -> c a

empty : CatenableList c => c a

Totality: total
Visibility: public export

isEmpty : CatenableList c => c a -> Bool

Totality: total
Visibility: public export

cons : CatenableList c => a -> c a -> c a

Totality: total
Visibility: public export

snoc : CatenableList c => c a -> a -> c a

Totality: total
Visibility: public export

(++) : CatenableList c => c a -> c a -> c a

Totality: total
Visibility: public export
Fixity Declaration: infixr operator, level 7

head : CatenableList c => c a -> a

Totality: total
Visibility: public export

tail : CatenableList c => c a -> c a

Totality: total
Visibility: public export