DeepDarkFantasy-0.2017.8.9: A DSL for creating neural network.

Safe HaskellSafe
LanguageHaskell2010

DDF.IO

Documentation

class (List r, Unit r, Char r, Monad r IO) => IO r where Source #

Minimal complete definition

putStrLn

Methods

putStrLn :: r h (String -> IO ()) Source #

Instances

IO Eval Source # 

Methods

putStrLn :: Eval h (String -> IO ()) Source #

IO Show Source # 

Methods

putStrLn :: Show h (String -> IO ()) Source #

IO Size Source # 

Methods

putStrLn :: Size h (String -> IO ()) Source #

IO UInt Source # 

Methods

putStrLn :: UInt h (String -> IO ()) Source #

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

Methods

putStrLn :: Term c h (String -> IO ()) Source #

IO r => IO (UnHOAS r) Source # 

Methods

putStrLn :: UnHOAS r h (String -> IO ()) Source #

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

Methods

putStrLn :: UnLiftEnv r h (String -> IO ()) Source #

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

Methods

putStrLn :: ImpW r h (String -> IO ()) Source #

type SubLC c IO Source # 
type SubLC c IO = (SubL c Unit, SubL c Char, SubL c List)

module DDF.List

module DDF.Char

module DDF.Unit