Data.DList

(++) : DList a -> DList a -> DList a

Fixity

Left associative, precedence 7

DList : Type -> Type

cons : a -> DList a -> DList a

lift : (List a -> List a) -> DList a -> DList a

nil : DList a

toList : DList a -> List a

wrap : a -> DList a