Safe Haskell	Safe
Language	Haskell2010

DDF.Sum

Documentation

class DBI r => Sum r where Source #

Minimal complete definition

Methods

left :: r h (a -> Either a b) Source #

right :: r h (b -> Either a b) Source #

sumMatch :: r h ((a -> c) -> (b -> c) -> Either a b -> c) Source #

Instances

Sum Eval Source #
Methods left :: Eval h (a -> Either a b) Source # right :: Eval h (b -> Either a b) Source # sumMatch :: Eval h ((a -> c) -> (b -> c) -> Either a b -> c) Source #
Sum Show Source #
Methods left :: Show h (a -> Either a b) Source # right :: Show h (b -> Either a b) Source # sumMatch :: Show h ((a -> c) -> (b -> c) -> Either a b -> c) Source #
Sum Size Source #
Methods left :: Size h (a -> Either a b) Source # right :: Size h (b -> Either a b) Source # sumMatch :: Size h ((a -> c) -> (b -> c) -> Either a b -> c) Source #
SubL c Sum => Sum (Term c) Source #
Methods left :: Term c h (a -> Either a b) Source # right :: Term c h (b -> Either a b) Source # sumMatch :: Term c h ((a -> c) -> (b -> c) -> Either a b -> c) Source #
Sum r => Sum (UnHOAS r) Source #
Methods left :: UnHOAS r h (a -> Either a b) Source # right :: UnHOAS r h (b -> Either a b) Source # sumMatch :: UnHOAS r h ((a -> c) -> (b -> c) -> Either a b -> c) Source #
(Prod r, Sum r) => Sum (UnLiftEnv r) Source #
Methods left :: UnLiftEnv r h (a -> Either a b) Source # right :: UnLiftEnv r h (b -> Either a b) Source # sumMatch :: UnLiftEnv r h ((a -> c) -> (b -> c) -> Either a b -> c) Source #
(Prod r, Sum r) => Sum (ImpW r) Source #
Methods left :: ImpW r h (a -> Either a b) Source # right :: ImpW r h (b -> Either a b) Source # sumMatch :: ImpW r h ((a -> c) -> (b -> c) -> Either a b -> c) Source #
type SubLC c Sum Source #
type SubLC c Sum = SubL c DBI

sumMatch2 :: Sum r => r h (a -> c) -> r h (b -> c) -> r h (Either a b -> c) Source #

left1 :: Sum r => r h a -> r h (Either a b) Source #

right1 :: Sum r => r h a1 -> r h (Either a a1) Source #