DDF.Prod

Documentation

class Ordering r => Prod r where

Minimal complete definition

mkProd, zro, fst

Methods

mkProd :: r h (a -> b -> (a, b))

zro :: r h ((a, b) -> a)

fst :: r h ((a, b) -> b)

swap :: r h ((x, y) -> (y, x))

curry :: r h (((a, b) -> c) -> a -> b -> c)

uncurry :: r h ((a -> b -> c) -> (a, b) -> c)

prodCmp :: forall h a b. r h (Cmp a -> Cmp b -> Cmp (a, b))

Instances

Prod Eval

Methods

mkProd :: Eval h (a -> b -> (a, b))

zro :: Eval h ((a, b) -> a)

fst :: Eval h ((a, b) -> b)

swap :: Eval h ((x, y) -> (y, x))

curry :: Eval h (((a, b) -> c) -> a -> b -> c)

uncurry :: Eval h ((a -> b -> c) -> (a, b) -> c)

prodCmp :: Eval h (Cmp a -> Cmp b -> Cmp (a, b))

Prod Show

Methods

mkProd :: Show h (a -> b -> (a, b))

zro :: Show h ((a, b) -> a)

fst :: Show h ((a, b) -> b)

swap :: Show h ((x, y) -> (y, x))

curry :: Show h (((a, b) -> c) -> a -> b -> c)

uncurry :: Show h ((a -> b -> c) -> (a, b) -> c)

prodCmp :: Show h (Cmp a -> Cmp b -> Cmp (a, b))

Prod Size

Methods

mkProd :: Size h (a -> b -> (a, b))

zro :: Size h ((a, b) -> a)

fst :: Size h ((a, b) -> b)

swap :: Size h ((x, y) -> (y, x))

curry :: Size h (((a, b) -> c) -> a -> b -> c)

uncurry :: Size h ((a -> b -> c) -> (a, b) -> c)

prodCmp :: Size h (Cmp a -> Cmp b -> Cmp (a, b))

Prod r => Prod (P r)

Methods

mkProd :: P r h (a -> b -> (a, b))

zro :: P r h ((a, b) -> a)

fst :: P r h ((a, b) -> b)

swap :: P r h ((x, y) -> (y, x))

curry :: P r h (((a, b) -> c) -> a -> b -> c)

uncurry :: P r h ((a -> b -> c) -> (a, b) -> c)

prodCmp :: P r h (Cmp a -> Cmp b -> Cmp (a, b))

SubL c Prod => Prod (Term c)

Methods

mkProd :: Term c h (a -> b -> (a, b))

zro :: Term c h ((a, b) -> a)

fst :: Term c h ((a, b) -> b)

swap :: Term c h ((x, y) -> (y, x))

curry :: Term c h (((a, b) -> c) -> a -> b -> c)

uncurry :: Term c h ((a -> b -> c) -> (a, b) -> c)

prodCmp :: Term c h (Cmp a -> Cmp b -> Cmp (a, b))

Prod r => Prod (UnHOAS r)

Methods

mkProd :: UnHOAS r h (a -> b -> (a, b))

zro :: UnHOAS r h ((a, b) -> a)

fst :: UnHOAS r h ((a, b) -> b)

swap :: UnHOAS r h ((x, y) -> (y, x))

curry :: UnHOAS r h (((a, b) -> c) -> a -> b -> c)

uncurry :: UnHOAS r h ((a -> b -> c) -> (a, b) -> c)

prodCmp :: UnHOAS r h (Cmp a -> Cmp b -> Cmp (a, b))

Prod r => Prod (UnLiftEnv r)

Methods

mkProd :: UnLiftEnv r h (a -> b -> (a, b))

zro :: UnLiftEnv r h ((a, b) -> a)

fst :: UnLiftEnv r h ((a, b) -> b)

swap :: UnLiftEnv r h ((x, y) -> (y, x))

curry :: UnLiftEnv r h (((a, b) -> c) -> a -> b -> c)

uncurry :: UnLiftEnv r h ((a -> b -> c) -> (a, b) -> c)

prodCmp :: UnLiftEnv r h (Cmp a -> Cmp b -> Cmp (a, b))

Prod r => Prod (ImpW r)

Methods

mkProd :: ImpW r h (a -> b -> (a, b))

zro :: ImpW r h ((a, b) -> a)

fst :: ImpW r h ((a, b) -> b)

swap :: ImpW r h ((x, y) -> (y, x))

curry :: ImpW r h (((a, b) -> c) -> a -> b -> c)

uncurry :: ImpW r h ((a -> b -> c) -> (a, b) -> c)

prodCmp :: ImpW r h (Cmp a -> Cmp b -> Cmp (a, b))

type SubLC c Prod

type SubLC c Prod = SubL c Ordering

zro1 :: Prod r => r h (b1, b) -> r h b1

fst1 :: Prod r => r h (a, b) -> r h b

mkProd1 :: Prod r => r h a -> r h (b -> (a, b))

mkProd2 :: Prod r => r h a1 -> r h a -> r h (a1, a)

curry1 :: Prod r => r h ((a, b) -> c) -> r h (a -> b -> c)

uncurry1 :: Prod r => r h (a -> b -> c) -> r h ((a, b) -> c)

module DDF.Ordering