DDF.IO

Documentation

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

Minimal complete definition

putStrLn

Methods

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

Instances

IO Eval

Methods

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

IO Show

Methods

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

IO Size

Methods

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

IO UInt

Methods

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

SubL c IO => IO (Term c)

Methods

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

IO r => IO (UnHOAS r)

Methods

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

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

Methods

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

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

Methods

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

type SubLC c IO

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

module DDF.List

module DDF.Char

module DDF.Unit