DeepDarkFantasy-0.2017.8.10: A DSL for creating neural network.

Safe HaskellSafe
LanguageHaskell2010

DDF.Bool

Documentation

class DBI r => Bool r where Source #

Minimal complete definition

bool, ite

Methods

bool :: Bool -> r h Bool Source #

ite :: r h (a -> a -> Bool -> a) Source #

Instances

Bool Eval Source # 

Methods

bool :: Bool -> Eval h Bool Source #

ite :: Eval h (a -> a -> Bool -> a) Source #

Bool Show Source # 

Methods

bool :: Bool -> Show h Bool Source #

ite :: Show h (a -> a -> Bool -> a) Source #

Bool Size Source # 

Methods

bool :: Bool -> Size h Bool Source #

ite :: Size h (a -> a -> Bool -> a) Source #

Bool r => Bool (P r) Source # 

Methods

bool :: Bool -> P r h Bool Source #

ite :: P r h (a -> a -> Bool -> a) Source #

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

Methods

bool :: Bool -> Term c h Bool Source #

ite :: Term c h (a -> a -> Bool -> a) Source #

Bool r => Bool (UnHOAS r) Source # 

Methods

bool :: Bool -> UnHOAS r h Bool Source #

ite :: UnHOAS r h (a -> a -> Bool -> a) Source #

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

Methods

bool :: Bool -> UnLiftEnv r h Bool Source #

ite :: UnLiftEnv r h (a -> a -> Bool -> a) Source #

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

Methods

bool :: Bool -> ImpW r h Bool Source #

ite :: ImpW r h (a -> a -> Bool -> a) Source #

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

ite1 :: Bool r => r h a -> r h (a -> Bool -> a) Source #

ite2 :: Bool r => r h a -> r h a -> r h (Bool -> a) Source #

ite3 :: Bool r => r h b -> r h b -> r h Bool -> r h b Source #

module DDF.DBI