DeepDarkFantasy-0.2017.4.19: A DSL for creating neural network.

Safe HaskellSafe
LanguageHaskell2010

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

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

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