Idris2Doc : Data.These

Data.These

dataThese : Type -> Type -> Type
Totality: total
Constructors:
This : a -> Theseab
That : b -> Theseab
Both : a -> b -> Theseab
bifold : Monoidm => Thesemm -> m
Totality: total
fromEither : Eitherab -> Theseab
Totality: total
fromThat : Theseab -> Maybeb
Totality: total
fromThis : Theseab -> Maybea
Totality: total
these : (a -> c) -> (b -> c) -> (a -> b -> c) -> Theseab -> c
Totality: total