Language.Symantic.Lib.IO

Symantic for IO.

Class Sym_IO

class Sym_IO (term :: * -> *)

Instances

Sym_IO View

Sym_IO Eval

(Sym_IO term, Sym_Lambda term) => Sym_IO (BetaT term)

Sym_IO (Dup r1 r2)

class Sym_IO_Handle (term :: * -> *) where

Methods

io_hClose :: term Handle -> term (IO ())

io_openFile :: term FilePath -> term IOMode -> term (IO Handle)

io_hClose :: Sym_IO_Handle (UnT term) => Trans term => term Handle -> term (IO ())

io_openFile :: Sym_IO_Handle (UnT term) => Trans term => term FilePath -> term IOMode -> term (IO Handle)

Instances

Sym_IO_Handle View

Methods

io_hClose :: View Handle -> View (IO ())

io_openFile :: View FilePath -> View IOMode -> View (IO Handle)

Sym_IO_Handle Eval

Methods

io_hClose :: Eval Handle -> Eval (IO ())

io_openFile :: Eval FilePath -> Eval IOMode -> Eval (IO Handle)

(Sym_IO_Handle term, Sym_Lambda term) => Sym_IO_Handle (BetaT term)

Methods

io_hClose :: BetaT term Handle -> BetaT term (IO ())

io_openFile :: BetaT term FilePath -> BetaT term IOMode -> BetaT term (IO Handle)

(Sym_IO_Handle r1, Sym_IO_Handle r2) => Sym_IO_Handle (Dup r1 r2)

Methods

io_hClose :: Dup r1 r2 Handle -> Dup r1 r2 (IO ())

io_openFile :: Dup r1 r2 FilePath -> Dup r1 r2 IOMode -> Dup r1 r2 (IO Handle)

class Sym_IO_Mode (term :: * -> *)

Instances

Sym_IO_Mode View

Sym_IO_Mode Eval

(Sym_IO_Mode term, Sym_Lambda term) => Sym_IO_Mode (BetaT term)

Sym_IO_Mode (Dup r1 r2)

Types

tyIO :: Source src => Type src vs a -> Type src vs (IO a)

tyIO_Handle :: Source src => LenInj vs => Type src vs Handle

tyIO_Mode :: Source src => LenInj vs => Type src vs IOMode

tyFilePath :: Source src => LenInj vs => Type src vs FilePath

Terms

teIO_hClose :: TermDef Handle '[] (() #> (Handle -> IO ()))

teIO_openFile :: TermDef Handle '[] (() #> (FilePath -> IOMode -> IO Handle))

Orphan instances

ClassInstancesFor * Handle

Methods

proveConstraintFor :: Source src => proxy c -> Type Constraint src vs q -> Maybe (Qual q)

ClassInstancesFor * IOMode

Methods

proveConstraintFor :: Source src => proxy c -> Type Constraint src vs q -> Maybe (Qual q)

TypeInstancesFor * Handle

Methods

expandFamFor :: Source src => proxy c -> Len Type vs -> Const kt src fam -> Types src vs ts -> Maybe (Type kt src vs (Fam kt fam ts))

TypeInstancesFor * IOMode

Methods

expandFamFor :: Source src => proxy c -> Len Type vs -> Const kt src fam -> Types src vs ts -> Maybe (Type kt src vs (Fam kt fam ts))

NameTyOf * Handle

Methods

nameTyOf :: proxy c -> Mod NameTy

isNameTyOp :: proxy c -> Bool

NameTyOf * IOMode

Methods

nameTyOf :: proxy c -> Mod NameTy

isNameTyOp :: proxy c -> Bool

ModuleFor * src ss IOMode

Methods

moduleFor :: (PathMod, Module ss IOMode)

(Source src, SymInj * ss Handle) => ModuleFor * src ss Handle

Methods

moduleFor :: (PathMod, Module ss Handle)

Gram_Term_AtomsFor * src ss g IOMode

Methods

g_term_atomsFor :: [CF IOMode (AST_Term ss g)]

Gram_Term_AtomsFor * src ss g Handle

Methods

g_term_atomsFor :: [CF Handle (AST_Term ss g)]

ClassInstancesFor (* -> *) IO

Methods

proveConstraintFor :: Source src => proxy c -> Type Constraint src vs q -> Maybe (Qual q)

TypeInstancesFor (* -> *) IO

Methods

expandFamFor :: Source src => proxy c -> Len Type vs -> Const kt src fam -> Types src vs ts -> Maybe (Type kt src vs (Fam kt fam ts))

NameTyOf (* -> *) IO

Methods

nameTyOf :: proxy c -> Mod NameTy

isNameTyOp :: proxy c -> Bool

FixityOf (* -> *) IO

Methods

fixityOf :: proxy c -> Maybe Fixity

ModuleFor (* -> *) src ss IO

Methods

moduleFor :: (PathMod, Module ss IO)

Gram_Term_AtomsFor (* -> *) src ss g IO

Methods

g_term_atomsFor :: [CF IO (AST_Term ss g)]