Idris.IBC

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