Data.Optional

Documentation

data T f a

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

fromEmpty :: T a -> T f a

fromNonEmpty :: T f a -> T f a