DeepDarkFantasy-0.2017.8.8: A DSL for creating neural network.

Safe HaskellSafe
LanguageHaskell2010

DDF.Int

Documentation

class Bool r => Int r where Source #

Minimal complete definition

int, pred, isZero

Methods

int :: Int -> r h Int Source #

pred :: r h (Int -> Int) Source #

isZero :: r h (Int -> Bool) Source #

Instances

Int Eval Source # 

Methods

int :: Int -> Eval h Int Source #

pred :: Eval h (Int -> Int) Source #

isZero :: Eval h (Int -> Bool) Source #

Int Show Source # 

Methods

int :: Int -> Show h Int Source #

pred :: Show h (Int -> Int) Source #

isZero :: Show h (Int -> Bool) Source #

Int Size Source # 

Methods

int :: Int -> Size h Int Source #

pred :: Size h (Int -> Int) Source #

isZero :: Size h (Int -> Bool) Source #

Int UInt Source # 

Methods

int :: Int -> UInt h Int Source #

pred :: UInt h (Int -> Int) Source #

isZero :: UInt h (Int -> Bool) Source #

SubL c Int => Int (Term c) Source # 

Methods

int :: Int -> Term c h Int Source #

pred :: Term c h (Int -> Int) Source #

isZero :: Term c h (Int -> Bool) Source #

Int r => Int (UnHOAS r) Source # 

Methods

int :: Int -> UnHOAS r h Int Source #

pred :: UnHOAS r h (Int -> Int) Source #

isZero :: UnHOAS r h (Int -> Bool) Source #

(Prod r, Int r) => Int (UnLiftEnv r) Source # 

Methods

int :: Int -> UnLiftEnv r h Int Source #

pred :: UnLiftEnv r h (Int -> Int) Source #

isZero :: UnLiftEnv r h (Int -> Bool) Source #

(Prod r, Int r) => Int (ImpW r) Source # 

Methods

int :: Int -> ImpW r h Int Source #

pred :: ImpW r h (Int -> Int) Source #

isZero :: ImpW r h (Int -> Bool) Source #

type SubLC c Int Source # 
type SubLC c Int = SubL c Bool

pred1 :: Int r => r h Int -> r h Int Source #

isZero1 :: Int r => r h Int -> r h Bool Source #

module DDF.Bool