Safe Haskell | None |
---|---|
Language | Haskell2010 |
Symantic for IO
.
- 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_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 #
Sym_IO_Handle Eval Source # | |
Sym_IO_Handle View 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 #
Sym_IO_Mode Eval Source # | |
Sym_IO_Mode View Source # | |
(Sym_IO_Mode term, Sym_Lambda term) => Sym_IO_Mode (BetaT term) Source # | |
Sym_IO_Mode (Dup r1 r2) Source # | |
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 # | |
Gram_Term_AtomsFor * src ss g Handle Source # | |
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 # | |