DeepDarkFantasy-0.2017.8.10: A DSL for creating neural network.

Safe HaskellSafe
LanguageHaskell2010

DDF.Sum

Documentation

class DBI r => Sum r where Source #

Minimal complete definition

left, right, sumMatch

Methods

left :: r h (a -> Either a b) Source #

right :: r h (b -> Either a b) Source #

sumMatch :: r h ((a -> c) -> (b -> c) -> Either a b -> c) Source #

Instances

Sum Eval Source # 

Methods

left :: Eval h (a -> Either a b) Source #

right :: Eval h (b -> Either a b) Source #

sumMatch :: Eval h ((a -> c) -> (b -> c) -> Either a b -> c) Source #

Sum Show Source # 

Methods

left :: Show h (a -> Either a b) Source #

right :: Show h (b -> Either a b) Source #

sumMatch :: Show h ((a -> c) -> (b -> c) -> Either a b -> c) Source #

Sum Size Source # 

Methods

left :: Size h (a -> Either a b) Source #

right :: Size h (b -> Either a b) Source #

sumMatch :: Size h ((a -> c) -> (b -> c) -> Either a b -> c) Source #

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

Methods

left :: Term c h (a -> Either a b) Source #

right :: Term c h (b -> Either a b) Source #

sumMatch :: Term c h ((a -> c) -> (b -> c) -> Either a b -> c) Source #

Sum r => Sum (UnHOAS r) Source # 

Methods

left :: UnHOAS r h (a -> Either a b) Source #

right :: UnHOAS r h (b -> Either a b) Source #

sumMatch :: UnHOAS r h ((a -> c) -> (b -> c) -> Either a b -> c) Source #

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

Methods

left :: UnLiftEnv r h (a -> Either a b) Source #

right :: UnLiftEnv r h (b -> Either a b) Source #

sumMatch :: UnLiftEnv r h ((a -> c) -> (b -> c) -> Either a b -> c) Source #

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

Methods

left :: ImpW r h (a -> Either a b) Source #

right :: ImpW r h (b -> Either a b) Source #

sumMatch :: ImpW r h ((a -> c) -> (b -> c) -> Either a b -> c) Source #

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

sumMatch2 :: Sum r => r h (a -> c) -> r h (b -> c) -> r h (Either a b -> c) Source #

left1 :: Sum r => r h a -> r h (Either a b) Source #

right1 :: Sum r => r h a1 -> r h (Either a a1) Source #

module DDF.DBI