CatList

Definitions

data CatList : (Type -> Type) -> Type -> Type

Totality: not strictly positive
Visibility: export
Constructors:

E : CatList q a

C : a -> q (Lazy (CatList q a)) -> CatList q a

Hint: 

Queue q => CatenableList (CatList q)