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

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 r => Prod (GWDiff r)

Methods

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

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

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

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

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

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

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)

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)

(Prod l, Prod r) => Prod (Combine l r)

Methods

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

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

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

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

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

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

Prod r => Prod (WDiff r v)

Methods

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

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

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

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

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

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

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

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

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

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

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

module DDF.DBI