Idris2Doc : Data.These

Data.These

data These : Type -> Type -> Type
  Totality: total
  Constructors:
  
This : a -> These a b
  
That : b -> These a b
  
Both : a -> b -> These a b
bifold : Monoid m => These m m -> m
  Totality: total
fromEither : Either a b -> These a b
  Totality: total
fromThat : These a b -> Maybe b
  Totality: total
fromThis : These a b -> Maybe a
  Totality: total
these : (a -> c) -> (b -> c) -> (a -> b -> c) -> These a b -> c
  Totality: total