DDF.Prod

Documentation

class DBI 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)

Instances

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)

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)

Prod UInt

Methods

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

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

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

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

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

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

(Prod r, Unit 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)

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)

module DDF.DBI