Safe Haskell	Safe
Language	Haskell2010

DDF.IO

Documentation

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

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

Minimal complete definition

Methods

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 #
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)

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