Safe Haskell	Safe
Language	Haskell2010

DDF.Prod

Documentation

class DBI r => Prod r where Source #

Minimal complete definition

mkProd, zro, fst

Methods

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

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

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

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

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

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

Instances

Prod Eval Source #
Methods mkProd :: Eval h (a -> b -> (a, b)) Source # zro :: Eval h ((a, b) -> a) Source # fst :: Eval h ((a, b) -> b) Source # swap :: Eval h ((x, y) -> (y, x)) Source # curry :: Eval h (((a, b) -> c) -> a -> b -> c) Source # uncurry :: Eval h ((a -> b -> c) -> (a, b) -> c) Source #
Prod Show Source #
Methods mkProd :: Show h (a -> b -> (a, b)) Source # zro :: Show h ((a, b) -> a) Source # fst :: Show h ((a, b) -> b) Source # swap :: Show h ((x, y) -> (y, x)) Source # curry :: Show h (((a, b) -> c) -> a -> b -> c) Source # uncurry :: Show h ((a -> b -> c) -> (a, b) -> c) Source #
Prod Size Source #
Methods mkProd :: Size h (a -> b -> (a, b)) Source # zro :: Size h ((a, b) -> a) Source # fst :: Size h ((a, b) -> b) Source # swap :: Size h ((x, y) -> (y, x)) Source # curry :: Size h (((a, b) -> c) -> a -> b -> c) Source # uncurry :: Size h ((a -> b -> c) -> (a, b) -> c) Source #
Prod UInt Source #
Methods mkProd :: UInt h (a -> b -> (a, b)) Source # zro :: UInt h ((a, b) -> a) Source # fst :: UInt h ((a, b) -> b) Source # swap :: UInt h ((x, y) -> (y, x)) Source # curry :: UInt h (((a, b) -> c) -> a -> b -> c) Source # uncurry :: UInt h ((a -> b -> c) -> (a, b) -> c) Source #
SubL c Prod => Prod (Term c) Source #
Methods mkProd :: Term c h (a -> b -> (a, b)) Source # zro :: Term c h ((a, b) -> a) Source # fst :: Term c h ((a, b) -> b) Source # swap :: Term c h ((x, y) -> (y, x)) Source # curry :: Term c h (((a, b) -> c) -> a -> b -> c) Source # uncurry :: Term c h ((a -> b -> c) -> (a, b) -> c) Source #
Prod r => Prod (UnHOAS r) Source #
Methods mkProd :: UnHOAS r h (a -> b -> (a, b)) Source # zro :: UnHOAS r h ((a, b) -> a) Source # fst :: UnHOAS r h ((a, b) -> b) Source # swap :: UnHOAS r h ((x, y) -> (y, x)) Source # curry :: UnHOAS r h (((a, b) -> c) -> a -> b -> c) Source # uncurry :: UnHOAS r h ((a -> b -> c) -> (a, b) -> c) Source #
Prod r => Prod (UnLiftEnv r) Source #
Methods mkProd :: UnLiftEnv r h (a -> b -> (a, b)) Source # zro :: UnLiftEnv r h ((a, b) -> a) Source # fst :: UnLiftEnv r h ((a, b) -> b) Source # swap :: UnLiftEnv r h ((x, y) -> (y, x)) Source # curry :: UnLiftEnv r h (((a, b) -> c) -> a -> b -> c) Source # uncurry :: UnLiftEnv r h ((a -> b -> c) -> (a, b) -> c) Source #
Prod r => Prod (ImpW r) Source #
Methods mkProd :: ImpW r h (a -> b -> (a, b)) Source # zro :: ImpW r h ((a, b) -> a) Source # fst :: ImpW r h ((a, b) -> b) Source # swap :: ImpW r h ((x, y) -> (y, x)) Source # curry :: ImpW r h (((a, b) -> c) -> a -> b -> c) Source # uncurry :: ImpW r h ((a -> b -> c) -> (a, b) -> c) Source #
type SubLC c Prod Source #
type SubLC c Prod = SubL c DBI

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

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

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

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

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

module DDF.DBI