DeepDarkFantasy-0.2017.8.10: 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 #

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

Methods

nothing :: Term c h (Maybe a) Source #

just :: Term c h (a -> Maybe a) Source #

optionMatch :: Term c 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 #

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

Methods

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

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

optionMatch :: UnLiftEnv 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 #

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

just1 :: Option r => r h a -> r h (Maybe a) Source #

module DDF.DBI