Safe Haskell | None |
---|---|
Language | Haskell2010 |
Symantic for IO
.
Synopsis
- class Sym_IO (term :: * -> *)
- class Sym_IO_Handle (term :: * -> *) where
- class Sym_IO_Mode (term :: * -> *)
- 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
- teIO_hClose :: TermDef Handle '[] (() #> (Handle -> IO ()))
- teIO_openFile :: TermDef Handle '[] (() #> (FilePath -> IOMode -> IO Handle))
Class Sym_IO
class Sym_IO (term :: * -> *) Source #
Instances
Sym_IO View Source # | |
Defined in Language.Symantic.Lib.IO | |
Sym_IO Eval Source # | |
Defined in Language.Symantic.Lib.IO | |
(Sym_IO term, Sym_Lambda term) => Sym_IO (BetaT term) Source # | |
Defined in Language.Symantic.Lib.IO | |
Sym_IO (Dup r1 r2) Source # | |
Defined in Language.Symantic.Lib.IO |
class Sym_IO_Handle (term :: * -> *) where Source #
io_hClose :: term Handle -> term (IO ()) Source #
io_openFile :: term FilePath -> term IOMode -> term (IO Handle) Source #
io_hClose :: Sym_IO_Handle (UnT term) => Trans term => term Handle -> term (IO ()) Source #
io_openFile :: Sym_IO_Handle (UnT term) => Trans term => term FilePath -> term IOMode -> term (IO Handle) Source #
Instances
Sym_IO_Handle View Source # | |
Sym_IO_Handle Eval Source # | |
(Sym_IO_Handle term, Sym_Lambda term) => Sym_IO_Handle (BetaT term) Source # | |
(Sym_IO_Handle r1, Sym_IO_Handle r2) => Sym_IO_Handle (Dup r1 r2) Source # | |
class Sym_IO_Mode (term :: * -> *) Source #
Instances
Sym_IO_Mode View Source # | |
Defined in Language.Symantic.Lib.IO | |
Sym_IO_Mode Eval Source # | |
Defined in Language.Symantic.Lib.IO | |
(Sym_IO_Mode term, Sym_Lambda term) => Sym_IO_Mode (BetaT term) Source # | |
Defined in Language.Symantic.Lib.IO | |
Sym_IO_Mode (Dup r1 r2) Source # | |
Defined in Language.Symantic.Lib.IO |
Type
s
Term
s
Orphan instances
ClassInstancesFor Handle Source # | |
ClassInstancesFor IOMode Source # | |
TypeInstancesFor Handle Source # | |
TypeInstancesFor IOMode Source # | |
NameTyOf Handle Source # | |
NameTyOf IOMode Source # | |
ModuleFor src ss IOMode Source # | |
(Source src, SymInj ss Handle) => ModuleFor src ss Handle Source # | |
Gram_Term_AtomsFor src ss g IOMode Source # | |
g_term_atomsFor :: [CF g (AST_Term src ss)] # | |
Gram_Term_AtomsFor src ss g Handle Source # | |
g_term_atomsFor :: [CF g (AST_Term src ss)] # | |
ClassInstancesFor IO Source # | |
TypeInstancesFor IO Source # | |
NameTyOf IO Source # | |
FixityOf IO Source # | |
ModuleFor src ss IO Source # | |
Gram_Term_AtomsFor src ss g IO Source # | |
g_term_atomsFor :: [CF g (AST_Term src ss)] # |