DeepDarkFantasy-0.2017.8.19: A DSL for creating neural network.
DDF.IO
Contents
string :: (Char r, List r) => [Char] -> r h [Char] Source #
class (List r, Unit r, Char r) => IO r where Source #
Minimal complete definition
putStrLn, ioMap, ioPure, ioAP, (ioBind | ioJoin)
Methods
putStrLn :: r h (String -> IO ()) Source #
ioMap :: r h ((a -> b) -> IO a -> IO b) Source #
ioPure :: r h (a -> IO a) Source #
ioAP :: r h (IO (a -> b) -> IO a -> IO b) Source #
ioBind :: r h (IO a -> (a -> IO b) -> IO b) Source #
ioJoin :: r h (IO (IO a) -> IO a) Source #
Instances
putStrLn :: Eval h (String -> IO ()) Source #
ioMap :: Eval h ((a -> b) -> IO a -> IO b) Source #
ioPure :: Eval h (a -> IO a) Source #
ioAP :: Eval h (IO (a -> b) -> IO a -> IO b) Source #
ioBind :: Eval h (IO a -> (a -> IO b) -> IO b) Source #
ioJoin :: Eval h (IO (IO a) -> IO a) Source #
putStrLn :: Show h (String -> IO ()) Source #
ioMap :: Show h ((a -> b) -> IO a -> IO b) Source #
ioPure :: Show h (a -> IO a) Source #
ioAP :: Show h (IO (a -> b) -> IO a -> IO b) Source #
ioBind :: Show h (IO a -> (a -> IO b) -> IO b) Source #
ioJoin :: Show h (IO (IO a) -> IO a) Source #
putStrLn :: Size h (String -> IO ()) Source #
ioMap :: Size h ((a -> b) -> IO a -> IO b) Source #
ioPure :: Size h (a -> IO a) Source #
ioAP :: Size h (IO (a -> b) -> IO a -> IO b) Source #
ioBind :: Size h (IO a -> (a -> IO b) -> IO b) Source #
ioJoin :: Size h (IO (IO a) -> IO a) Source #
putStrLn :: P r h (String -> IO ()) Source #
ioMap :: P r h ((a -> b) -> IO a -> IO b) Source #
ioPure :: P r h (a -> IO a) Source #
ioAP :: P r h (IO (a -> b) -> IO a -> IO b) Source #
ioBind :: P r h (IO a -> (a -> IO b) -> IO b) Source #
ioJoin :: P r h (IO (IO a) -> IO a) Source #
putStrLn :: Term c h (String -> IO ()) Source #
ioMap :: Term c h ((a -> b) -> IO a -> IO b) Source #
ioPure :: Term c h (a -> IO a) Source #
ioAP :: Term c h (IO (a -> b) -> IO a -> IO b) Source #
ioBind :: Term c h (IO a -> (a -> IO b) -> IO b) Source #
ioJoin :: Term c h (IO (IO a) -> IO a) Source #
putStrLn :: UnHOAS r h (String -> IO ()) Source #
ioMap :: UnHOAS r h ((a -> b) -> IO a -> IO b) Source #
ioPure :: UnHOAS r h (a -> IO a) Source #
ioAP :: UnHOAS r h (IO (a -> b) -> IO a -> IO b) Source #
ioBind :: UnHOAS r h (IO a -> (a -> IO b) -> IO b) Source #
ioJoin :: UnHOAS r h (IO (IO a) -> IO a) Source #
putStrLn :: UnLiftEnv r h (String -> IO ()) Source #
ioMap :: UnLiftEnv r h ((a -> b) -> IO a -> IO b) Source #
ioPure :: UnLiftEnv r h (a -> IO a) Source #
ioAP :: UnLiftEnv r h (IO (a -> b) -> IO a -> IO b) Source #
ioBind :: UnLiftEnv r h (IO a -> (a -> IO b) -> IO b) Source #
ioJoin :: UnLiftEnv r h (IO (IO a) -> IO a) Source #
putStrLn :: ImpW r h (String -> IO ()) Source #
ioMap :: ImpW r h ((a -> b) -> IO a -> IO b) Source #
ioPure :: ImpW r h (a -> IO a) Source #
ioAP :: ImpW r h (IO (a -> b) -> IO a -> IO b) Source #
ioBind :: ImpW r h (IO a -> (a -> IO b) -> IO b) Source #
ioJoin :: ImpW r h (IO (IO a) -> IO a) Source #
putStrLn1 :: IO r => r h String -> r h (IO ()) Source #
module DDF.List
module DDF.Char
module DDF.Unit
bind :: r h (IO a -> (a -> IO b) -> IO b) Source #
join :: r h (IO (IO a) -> IO a) Source #
pure :: r h (x -> IO x) Source #
ap :: r h (IO (x -> y) -> IO x -> IO y) Source #
map :: r h ((a -> b) -> IO a -> IO b) Source #