DeepDarkFantasy-0.2017.8.18: A DSL for creating neural network.

Safe HaskellSafe
LanguageHaskell2010

DDF.Fix

Documentation

class DBI r => Fix r where Source #

Minimal complete definition

fix, runFix

Methods

fix :: r h (f (Fix f) -> Fix f) Source #

runFix :: r h (Fix f -> f (Fix f)) Source #

Instances

Fix Eval Source # 

Methods

fix :: Eval h (f (Fix f) -> Fix f) Source #

runFix :: Eval h (Fix f -> f (Fix f)) Source #

Fix Show Source # 

Methods

fix :: Show h (f (Fix f) -> Fix f) Source #

runFix :: Show h (Fix f -> f (Fix f)) Source #

Fix Size Source # 

Methods

fix :: Size h (f (Fix f) -> Fix f) Source #

runFix :: Size h (Fix f -> f (Fix f)) Source #

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

Methods

fix :: Term c h (f (Fix f) -> Fix f) Source #

runFix :: Term c h (Fix f -> f (Fix f)) Source #

Fix r => Fix (UnHOAS r) Source # 

Methods

fix :: UnHOAS r h (f (Fix f) -> Fix f) Source #

runFix :: UnHOAS r h (Fix f -> f (Fix f)) Source #

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

Methods

fix :: UnLiftEnv r h (f (Fix f) -> Fix f) Source #

runFix :: UnLiftEnv r h (Fix f -> f (Fix f)) Source #

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

Methods

fix :: ImpW r h (f (Fix f) -> Fix f) Source #

runFix :: ImpW r h (Fix f -> f (Fix f)) Source #

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

fix1 :: Fix r => r h (f (Fix f)) -> r h (Fix f) Source #

runFix1 :: Fix r => r h (Fix f) -> r h (f (Fix f)) Source #

module DDF.DBI