non-empty-0.2.1: List-like structures with static restrictions on the number of elements

Safe HaskellSafe-Inferred
LanguageHaskell98

Data.Append

Documentation

data T f g a Source

Constructors

Cons 

Fields

fst :: f a
 
snd :: g a
 

Instances

(Functor f, Functor g) => Functor (T f g) 
(Foldable f, Foldable g) => Foldable (T f g) 
(Traversable f, Traversable g) => Traversable (T f g)