Language.Symantic.Lib.IO

Symantic for IO.

Class Sym_IO

class Sym_IO (term :: * -> *)

Instances

Sym_IO View

Defined in Language.Symantic.Lib.IO

Sym_IO Eval

Defined in Language.Symantic.Lib.IO

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

Defined in Language.Symantic.Lib.IO

Sym_IO (Dup r1 r2)

Defined in Language.Symantic.Lib.IO

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

Minimal complete definition

Nothing

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

Defined in Language.Symantic.Lib.IO

Methods

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

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

Sym_IO_Handle Eval

Defined in Language.Symantic.Lib.IO

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)

Defined in Language.Symantic.Lib.IO

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)

Defined in Language.Symantic.Lib.IO

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

Defined in Language.Symantic.Lib.IO

Sym_IO_Mode Eval

Defined in Language.Symantic.Lib.IO

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

Defined in Language.Symantic.Lib.IO

Sym_IO_Mode (Dup r1 r2)

Defined in Language.Symantic.Lib.IO

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 Handle -> Type src vs q -> Maybe (Qual q)

ClassInstancesFor IOMode

Methods

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

TypeInstancesFor Handle

Methods

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

TypeInstancesFor IOMode

Methods

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

NameTyOf Handle

Methods

nameTyOf :: proxy Handle -> Mod NameTy

isNameTyOp :: proxy Handle -> Bool

NameTyOf IOMode

Methods

nameTyOf :: proxy IOMode -> Mod NameTy

isNameTyOp :: proxy IOMode -> Bool

ModuleFor src ss IOMode

Methods

moduleFor :: (PathMod, Module src ss)

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

Methods

moduleFor :: (PathMod, Module src ss)

Gram_Term_AtomsFor src ss g IOMode

Methods

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

Gram_Term_AtomsFor src ss g Handle

Methods

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

ClassInstancesFor IO

Methods

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

TypeInstancesFor IO

Methods

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

NameTyOf IO

Methods

nameTyOf :: proxy IO -> Mod NameTy

isNameTyOp :: proxy IO -> Bool

FixityOf IO

Methods

fixityOf :: proxy IO -> Maybe Fixity

ModuleFor src ss IO

Methods

moduleFor :: (PathMod, Module src ss)

Gram_Term_AtomsFor src ss g IO

Methods

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