idris-1.0: Functional Programming Language with Dependent Types

Copyright | License : BSD3
Maintainer | The Idris Community.
Safe Haskell | None
Language | Haskell98

Idris.IBC

Contents

- Orphan instances

Description

Synopsis

- loadIBC :: Bool -> IBCPhase -> FilePath -> Idris ()
- loadPkgIndex :: String -> Idris ()
- writeIBC :: FilePath -> FilePath -> Idris ()
- writePkgIndex :: FilePath -> Idris ()
- hasValidIBCVersion :: FilePath -> Idris Bool
- data IBCPhase
  - = IBC_Building
  - | IBC_REPL Bool

# Documentation

loadIBC #

Arguments

:: Bool | True = reexport, False = make everything private
-> IBCPhase |
-> FilePath |
-> Idris () |

loadPkgIndex :: String -> Idris () #

Load an entire package from its index file

writeIBC :: FilePath -> FilePath -> Idris () #

writePkgIndex :: FilePath -> Idris () #

Write a package index containing all the imports in the current IState Used for ':search' of an entire package, to ensure everything is loaded.

hasValidIBCVersion :: FilePath -> Idris Bool #

data IBCPhase #

When IBC is being loaded - we'll load different things (and omit different structures/definitions) depending on which phase we're in.

Constructors

IBC_Building | when building the module tree
IBC_REPL Bool | when loading modules for the REPL Bool = True for top level module

Instances

Eq IBCPhase # |
Methods (==) :: IBCPhase -> IBCPhase -> Bool # (/=) :: IBCPhase -> IBCPhase -> Bool #
Show IBCPhase # |
Methods showsPrec :: Int -> IBCPhase -> ShowS # show :: IBCPhase -> String # showList :: [IBCPhase] -> ShowS #

# Orphan instances

Binary CodeAttr # |
Methods put :: CodeAttr -> Put # get :: Get CodeAttr # putList :: [CodeAttr] -> Put #
Binary ListType # |
Methods put :: ListType -> Put # get :: Get ListType # putList :: [ListType] -> Put #
Binary NumWrapper # |
Methods put :: NumWrapper -> Put # get :: Get NumWrapper # putList :: [NumWrapper] -> Put #
Binary Options # |
Methods put :: Options -> Put # get :: Get Options # putList :: [Options] -> Put #
Binary TypeInfo # |
Methods put :: TypeInfo -> Put # get :: Get TypeInfo # putList :: [TypeInfo] -> Put #
Binary DataOpt # |
Methods put :: DataOpt -> Put # get :: Get DataOpt # putList :: [DataOpt] -> Put #
Binary DocTerm # |
Methods put :: DocTerm -> Put # get :: Get DocTerm # putList :: [DocTerm] -> Put #
Binary CaseAlt # |
Methods put :: CaseAlt -> Put # get :: Get CaseAlt # putList :: [CaseAlt] -> Put #
Binary SC # |
Methods put :: SC -> Put # get :: Get SC # putList :: [SC] -> Put #
Binary CaseType # |
Methods put :: CaseType -> Put # get :: Get CaseType # putList :: [CaseType] -> Put #
Binary MetaInformation # |
Methods put :: MetaInformation -> Put # get :: Get MetaInformation # putList :: [MetaInformation] -> Put #
Binary PReason # |
Methods put :: PReason -> Put # get :: Get PReason # putList :: [PReason] -> Put #
Binary Totality # |
Methods put :: Totality -> Put # get :: Get Totality # putList :: [Totality] -> Put #
Binary Accessibility # |
Methods put :: Accessibility -> Put # get :: Get Accessibility # putList :: [Accessibility] -> Put #
Binary CaseInfo # |
Methods put :: CaseInfo -> Put # get :: Get CaseInfo # putList :: [CaseInfo] -> Put #
Binary CaseDefs # |
Methods put :: CaseDefs -> Put # get :: Get CaseDefs # putList :: [CaseDefs] -> Put #
Binary Def # |
Methods put :: Def -> Put # get :: Get Def # putList :: [Def] -> Put #
Binary SyntaxInfo # |
Methods put :: SyntaxInfo -> Put # get :: Get SyntaxInfo # putList :: [SyntaxInfo] -> Put #
Binary Using # |
Methods put :: Using -> Put # get :: Get Using # putList :: [Using] -> Put #
Binary SSymbol # |
Methods put :: SSymbol -> Put # get :: Get SSymbol # putList :: [SSymbol] -> Put #
Binary Syntax # |
Methods put :: Syntax -> Put # get :: Get Syntax # putList :: [Syntax] -> Put #
Binary SynContext # |
Methods put :: SynContext -> Put # get :: Get SynContext # putList :: [SynContext] -> Put #
Binary OptInfo # |
Methods put :: OptInfo -> Put # get :: Get OptInfo # putList :: [OptInfo] -> Put #
Binary FnInfo # |
Methods put :: FnInfo -> Put # get :: Get FnInfo # putList :: [FnInfo] -> Put #
Binary RecordInfo # |
Methods put :: RecordInfo -> Put # get :: Get RecordInfo # putList :: [RecordInfo] -> Put #
Binary InterfaceInfo # |
Methods put :: InterfaceInfo -> Put # get :: Get InterfaceInfo # putList :: [InterfaceInfo] -> Put #
Binary ArgOpt # |
Methods put :: ArgOpt -> Put # get :: Get ArgOpt # putList :: [ArgOpt] -> Put #
Binary PAltType # |
Methods put :: PAltType -> Put # get :: Get PAltType # putList :: [PAltType] -> Put #
Binary PTerm # |
Methods put :: PTerm -> Put # get :: Get PTerm # putList :: [PTerm] -> Put #
Binary PunInfo # |
Methods put :: PunInfo -> Put # get :: Get PunInfo # putList :: [PunInfo] -> Put #
Binary FnOpt # |
Methods put :: FnOpt -> Put # get :: Get FnOpt # putList :: [FnOpt] -> Put #
Binary Plicity # |
Methods put :: Plicity -> Put # get :: Get Plicity # putList :: [Plicity] -> Put #
Binary Static # |
Methods put :: Static -> Put # get :: Get Static # putList :: [Static] -> Put #
Binary FixDecl # |
Methods put :: FixDecl -> Put # get :: Get FixDecl # putList :: [FixDecl] -> Put #
Binary Fixity # |
Methods put :: Fixity -> Put # get :: Get Fixity # putList :: [Fixity] -> Put #
Binary IRFormat # |
Methods put :: IRFormat -> Put # get :: Get IRFormat # putList :: [IRFormat] -> Put #
Binary Codegen # |
Methods put :: Codegen -> Put # get :: Get Codegen # putList :: [Codegen] -> Put #
Binary CGInfo # |
Methods put :: CGInfo -> Put # get :: Get CGInfo # putList :: [CGInfo] -> Put #
Binary SizeChange # |
Methods put :: SizeChange -> Put # get :: Get SizeChange # putList :: [SizeChange] -> Put #
Binary a => Binary (Inline a) # |
Methods put :: Inline a -> Put # get :: Get (Inline a) # putList :: [Inline a] -> Put #
Binary a => Binary (Block a) # |
Methods put :: Block a -> Put # get :: Get (Block a) # putList :: [Block a] -> Put #
Binary a => Binary (Docstring a) # |
Methods put :: Docstring a -> Put # get :: Get (Docstring a) # putList :: [Docstring a] -> Put #
Binary t => Binary (DSL' t) # |
Methods put :: DSL' t -> Put # get :: Get (DSL' t) # putList :: [DSL' t] -> Put #
Binary t => Binary (PArg' t) # |
Methods put :: PArg' t -> Put # get :: Get (PArg' t) # putList :: [PArg' t] -> Put #
Binary t => Binary (PDo' t) # |
Methods put :: PDo' t -> Put # get :: Get (PDo' t) # putList :: [PDo' t] -> Put #
Binary t => Binary (PTactic' t) # |
Methods put :: PTactic' t -> Put # get :: Get (PTactic' t) # putList :: [PTactic' t] -> Put #
Binary t => Binary (PData' t) # |
Methods put :: PData' t -> Put # get :: Get (PData' t) # putList :: [PData' t] -> Put #
Binary t => Binary (PClause' t) # |
Methods put :: PClause' t -> Put # get :: Get (PClause' t) # putList :: [PClause' t] -> Put #
Binary t => Binary (PDecl' t) # |
Methods put :: PDecl' t -> Put # get :: Get (PDecl' t) # putList :: [PDecl' t] -> Put #
Binary t => Binary (ProvideWhat' t) # |
Methods put :: ProvideWhat' t -> Put # get :: Get (ProvideWhat' t) # putList :: [ProvideWhat' t] -> Put #