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 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 #
Sum UInt Source #
Methods left :: UInt h (a -> Either a b) Source # right :: UInt h (b -> Either a b) Source # sumMatch :: UInt 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 #

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 #