DeepDarkFantasy-0.2017.4.9: A DSL for creating neural network.

Safe HaskellSafe
LanguageHaskell2010

DDF.Option

Documentation

class DBI r => Option r where Source #

Minimal complete definition

nothing, just, optionMatch

Methods

nothing :: r h (Maybe a) Source #

just :: r h (a -> Maybe a) Source #

optionMatch :: r h (b -> (a -> b) -> Maybe a -> b) Source #

Instances

Option Eval Source # 

Methods

nothing :: Eval h (Maybe a) Source #

just :: Eval h (a -> Maybe a) Source #

optionMatch :: Eval h (b -> (a -> b) -> Maybe a -> b) Source #

Option Show Source # 

Methods

nothing :: Show h (Maybe a) Source #

just :: Show h (a -> Maybe a) Source #

optionMatch :: Show h (b -> (a -> b) -> Maybe a -> b) Source #

Option Size Source # 

Methods

nothing :: Size h (Maybe a) Source #

just :: Size h (a -> Maybe a) Source #

optionMatch :: Size h (b -> (a -> b) -> Maybe a -> b) Source #

Option r => Option (GWDiff r) Source # 

Methods

nothing :: GWDiff r h (Maybe a) Source #

just :: GWDiff r h (a -> Maybe a) Source #

optionMatch :: GWDiff r h (b -> (a -> b) -> Maybe a -> b) Source #

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

Methods

nothing :: ImpW r h (Maybe a) Source #

just :: ImpW r h (a -> Maybe a) Source #

optionMatch :: ImpW r h (b -> (a -> b) -> Maybe a -> b) Source #

Option r => Option (UnHOAS r) Source # 

Methods

nothing :: UnHOAS r h (Maybe a) Source #

just :: UnHOAS r h (a -> Maybe a) Source #

optionMatch :: UnHOAS r h (b -> (a -> b) -> Maybe a -> b) Source #

(Option l, Option r) => Option (Combine l r) Source # 

Methods

nothing :: Combine l r h (Maybe a) Source #

just :: Combine l r h (a -> Maybe a) Source #

optionMatch :: Combine l r h (b -> (a -> b) -> Maybe a -> b) Source #

Option r => Option (WDiff r v) Source # 

Methods

nothing :: WDiff r v h (Maybe a) Source #

just :: WDiff r v h (a -> Maybe a) Source #

optionMatch :: WDiff r v h (b -> (a -> b) -> Maybe a -> b) Source #

module DDF.DBI