DDF.IO

Documentation

string :: (Char r, List r) => [Char] -> r h [Char]

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

Minimal complete definition

putStrLn, ioMap, ioPure, ioAP, (ioBind | ioJoin)

Methods

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

ioMap :: r h ((a -> b) -> IO a -> IO b)

ioPure :: r h (a -> IO a)

ioAP :: r h (IO (a -> b) -> IO a -> IO b)

ioBind :: r h (IO a -> (a -> IO b) -> IO b)

ioJoin :: r h (IO (IO a) -> IO a)

Instances

IO Eval

Methods

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

ioMap :: Eval h ((a -> b) -> IO a -> IO b)

ioPure :: Eval h (a -> IO a)

ioAP :: Eval h (IO (a -> b) -> IO a -> IO b)

ioBind :: Eval h (IO a -> (a -> IO b) -> IO b)

ioJoin :: Eval h (IO (IO a) -> IO a)

IO Show

Methods

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

ioMap :: Show h ((a -> b) -> IO a -> IO b)

ioPure :: Show h (a -> IO a)

ioAP :: Show h (IO (a -> b) -> IO a -> IO b)

ioBind :: Show h (IO a -> (a -> IO b) -> IO b)

ioJoin :: Show h (IO (IO a) -> IO a)

IO Size

Methods

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

ioMap :: Size h ((a -> b) -> IO a -> IO b)

ioPure :: Size h (a -> IO a)

ioAP :: Size h (IO (a -> b) -> IO a -> IO b)

ioBind :: Size h (IO a -> (a -> IO b) -> IO b)

ioJoin :: Size h (IO (IO a) -> IO a)

IO r => IO (P r)

Methods

putStrLn :: P r h (String -> IO ())

ioMap :: P r h ((a -> b) -> IO a -> IO b)

ioPure :: P r h (a -> IO a)

ioAP :: P r h (IO (a -> b) -> IO a -> IO b)

ioBind :: P r h (IO a -> (a -> IO b) -> IO b)

ioJoin :: P r h (IO (IO a) -> IO a)

SubL c IO => IO (Term c)

Methods

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

ioMap :: Term c h ((a -> b) -> IO a -> IO b)

ioPure :: Term c h (a -> IO a)

ioAP :: Term c h (IO (a -> b) -> IO a -> IO b)

ioBind :: Term c h (IO a -> (a -> IO b) -> IO b)

ioJoin :: Term c h (IO (IO a) -> IO a)

IO r => IO (UnHOAS r)

Methods

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

ioMap :: UnHOAS r h ((a -> b) -> IO a -> IO b)

ioPure :: UnHOAS r h (a -> IO a)

ioAP :: UnHOAS r h (IO (a -> b) -> IO a -> IO b)

ioBind :: UnHOAS r h (IO a -> (a -> IO b) -> IO b)

ioJoin :: UnHOAS r h (IO (IO a) -> IO a)

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

Methods

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

ioMap :: UnLiftEnv r h ((a -> b) -> IO a -> IO b)

ioPure :: UnLiftEnv r h (a -> IO a)

ioAP :: UnLiftEnv r h (IO (a -> b) -> IO a -> IO b)

ioBind :: UnLiftEnv r h (IO a -> (a -> IO b) -> IO b)

ioJoin :: UnLiftEnv r h (IO (IO a) -> IO a)

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

Methods

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

ioMap :: ImpW r h ((a -> b) -> IO a -> IO b)

ioPure :: ImpW r h (a -> IO a)

ioAP :: ImpW r h (IO (a -> b) -> IO a -> IO b)

ioBind :: ImpW r h (IO a -> (a -> IO b) -> IO b)

ioJoin :: ImpW r h (IO (IO a) -> IO a)

type SubLC c IO

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

putStrLn1 :: IO r => r h String -> r h (IO ())

module DDF.List

module DDF.Char

module DDF.Unit

Orphan instances

IO r => Monad r IO

Methods

bind :: r h (IO a -> (a -> IO b) -> IO b)

join :: r h (IO (IO a) -> IO a)

IO r => Applicative r IO

Methods

pure :: r h (x -> IO x)

ap :: r h (IO (x -> y) -> IO x -> IO y)

IO r => Functor r IO

Methods

map :: r h ((a -> b) -> IO a -> IO b)