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

Safe HaskellSafe-Inferred
LanguageHaskell98

Data.Optional

Documentation

data T f a Source

Constructors

Nil 
Cons a (f a) 

Instances

Functor f => Functor (T f) 
Foldable f => Foldable (T f) 
Traversable f => Traversable (T f) 
Show f => Show (T f) 
(Traversable f, Reverse f) => Reverse (T f) 
(InsertBy f, SortBy f) => SortBy (T f) 
(Insert f, Sort f) => Sort (T f) 
Repeat f => Repeat (T f) 
Zip f => Zip (T f) 
(Cons f, Empty f) => Cons (T f) 
Empty (T f) 
Tails f => Tails (T f) 
RemoveEach f => RemoveEach (T f) 
InsertBy f => InsertBy (T f) 
Insert f => Insert (T f) 
(Eq a, Eq (f a)) => Eq (T f a) 
(Ord a, Ord (f a)) => Ord (T f a) 
(Show f, Show a) => Show (T f a) 
(Arbitrary f, Arbitrary a) => Arbitrary (T f a) 

(?:) :: a -> f a -> T f a infixr 5 Source

fromEmpty :: T a -> T f a Source

fromNonEmpty :: T f a -> T f a Source