DDF.Sum

Documentation

class DBI r => Sum r where

Minimal complete definition

left, right, sumMatch

Methods

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

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

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

Instances

Sum Eval

Methods

left :: Eval h (a -> Either a b)

right :: Eval h (b -> Either a b)

sumMatch :: Eval h ((a -> c) -> (b -> c) -> Either a b -> c)

Sum Show

Methods

left :: Show h (a -> Either a b)

right :: Show h (b -> Either a b)

sumMatch :: Show h ((a -> c) -> (b -> c) -> Either a b -> c)

Sum Size

Methods

left :: Size h (a -> Either a b)

right :: Size h (b -> Either a b)

sumMatch :: Size h ((a -> c) -> (b -> c) -> Either a b -> c)

Sum UInt

Methods

left :: UInt h (a -> Either a b)

right :: UInt h (b -> Either a b)

sumMatch :: UInt h ((a -> c) -> (b -> c) -> Either a b -> c)

SubL c Sum => Sum (Term c)

Methods

left :: Term c h (a -> Either a b)

right :: Term c h (b -> Either a b)

sumMatch :: Term c h ((a -> c) -> (b -> c) -> Either a b -> c)

Sum r => Sum (UnHOAS r)

Methods

left :: UnHOAS r h (a -> Either a b)

right :: UnHOAS r h (b -> Either a b)

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

(Prod r, Sum r) => Sum (UnLiftEnv r)

Methods

left :: UnLiftEnv r h (a -> Either a b)

right :: UnLiftEnv r h (b -> Either a b)

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

(Prod r, Sum r) => Sum (ImpW r)

Methods

left :: ImpW r h (a -> Either a b)

right :: ImpW r h (b -> Either a b)

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

type SubLC c Sum

type SubLC c Sum = SubL c DBI

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

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

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

module DDF.DBI