idris-1.3.4: Functional Programming Language with Dependent Types
LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Idris.IBC

Description

 
Synopsis

Documentation

loadIBC Source #

Arguments

:: Bool

True = reexport, False = make everything private

-> IBCPhase 
-> FilePath 
-> Idris () 

loadPkgIndex :: PkgName -> Idris () Source #

Load an entire package from its index file

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

writePkgIndex :: FilePath -> Idris () Source #

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 Source #

data IBCPhase Source #

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

Instances details
Show IBCPhase Source # 
Instance details

Defined in Idris.IBC

Methods

showsPrec :: Int -> IBCPhase -> ShowS

show :: IBCPhase -> String

showList :: [IBCPhase] -> ShowS

Eq IBCPhase Source # 
Instance details

Defined in Idris.IBC

Methods

(==) :: IBCPhase -> IBCPhase -> Bool

(/=) :: IBCPhase -> IBCPhase -> Bool

getIBCHash :: FilePath -> Idris Int Source #

getImportHashes :: FilePath -> Idris [(FilePath, Int)] Source #

Orphan instances

Binary CodeAttr Source # 
Instance details

Methods

put :: CodeAttr -> Put

get :: Get CodeAttr

putList :: [CodeAttr] -> Put

Binary ListType Source # 
Instance details

Methods

put :: ListType -> Put

get :: Get ListType

putList :: [ListType] -> Put

Binary NumWrapper Source # 
Instance details

Methods

put :: NumWrapper -> Put

get :: Get NumWrapper

putList :: [NumWrapper] -> Put

Binary Options Source # 
Instance details

Methods

put :: Options -> Put

get :: Get Options

putList :: [Options] -> Put

Binary ArgOpt Source # 
Instance details

Methods

put :: ArgOpt -> Put

get :: Get ArgOpt

putList :: [ArgOpt] -> Put

Binary CGInfo Source # 
Instance details

Methods

put :: CGInfo -> Put

get :: Get CGInfo

putList :: [CGInfo] -> Put

Binary DefaultTotality Source # 
Instance details

Methods

put :: DefaultTotality -> Put

get :: Get DefaultTotality

putList :: [DefaultTotality] -> Put

Binary Directive Source # 
Instance details

Methods

put :: Directive -> Put

get :: Get Directive

putList :: [Directive] -> Put

Binary FixDecl Source # 
Instance details

Methods

put :: FixDecl -> Put

get :: Get FixDecl

putList :: [FixDecl] -> Put

Binary Fixity Source # 
Instance details

Methods

put :: Fixity -> Put

get :: Get Fixity

putList :: [Fixity] -> Put

Binary FnInfo Source # 
Instance details

Methods

put :: FnInfo -> Put

get :: Get FnInfo

putList :: [FnInfo] -> Put

Binary FnOpt Source # 
Instance details

Methods

put :: FnOpt -> Put

get :: Get FnOpt

putList :: [FnOpt] -> Put

Binary InterfaceInfo Source # 
Instance details

Methods

put :: InterfaceInfo -> Put

get :: Get InterfaceInfo

putList :: [InterfaceInfo] -> Put

Binary OptInfo Source # 
Instance details

Methods

put :: OptInfo -> Put

get :: Get OptInfo

putList :: [OptInfo] -> Put

Binary PAltType Source # 
Instance details

Methods

put :: PAltType -> Put

get :: Get PAltType

putList :: [PAltType] -> Put

Binary PTerm Source # 
Instance details

Methods

put :: PTerm -> Put

get :: Get PTerm

putList :: [PTerm] -> Put

Binary Plicity Source # 
Instance details

Methods

put :: Plicity -> Put

get :: Get Plicity

putList :: [Plicity] -> Put

Binary PunInfo Source # 
Instance details

Methods

put :: PunInfo -> Put

get :: Get PunInfo

putList :: [PunInfo] -> Put

Binary RecordInfo Source # 
Instance details

Methods

put :: RecordInfo -> Put

get :: Get RecordInfo

putList :: [RecordInfo] -> Put

Binary SSymbol Source # 
Instance details

Methods

put :: SSymbol -> Put

get :: Get SSymbol

putList :: [SSymbol] -> Put

Binary SizeChange Source # 
Instance details

Methods

put :: SizeChange -> Put

get :: Get SizeChange

putList :: [SizeChange] -> Put

Binary Static Source # 
Instance details

Methods

put :: Static -> Put

get :: Get Static

putList :: [Static] -> Put

Binary SynContext Source # 
Instance details

Methods

put :: SynContext -> Put

get :: Get SynContext

putList :: [SynContext] -> Put

Binary Syntax Source # 
Instance details

Methods

put :: Syntax -> Put

get :: Get Syntax

putList :: [Syntax] -> Put

Binary SyntaxInfo Source # 
Instance details

Methods

put :: SyntaxInfo -> Put

get :: Get SyntaxInfo

putList :: [SyntaxInfo] -> Put

Binary Using Source # 
Instance details

Methods

put :: Using -> Put

get :: Get Using

putList :: [Using] -> Put

Binary CaseAlt Source # 
Instance details

Methods

put :: CaseAlt -> Put

get :: Get CaseAlt

putList :: [CaseAlt] -> Put

Binary CaseType Source # 
Instance details

Methods

put :: CaseType -> Put

get :: Get CaseType

putList :: [CaseType] -> Put

Binary SC Source # 
Instance details

Methods

put :: SC -> Put

get :: Get SC

putList :: [SC] -> Put

Binary Accessibility Source # 
Instance details

Methods

put :: Accessibility -> Put

get :: Get Accessibility

putList :: [Accessibility] -> Put

Binary CaseDefs Source # 
Instance details

Methods

put :: CaseDefs -> Put

get :: Get CaseDefs

putList :: [CaseDefs] -> Put

Binary CaseInfo Source # 
Instance details

Methods

put :: CaseInfo -> Put

get :: Get CaseInfo

putList :: [CaseInfo] -> Put

Binary Def Source # 
Instance details

Methods

put :: Def -> Put

get :: Get Def

putList :: [Def] -> Put

Binary MetaInformation Source # 
Instance details

Methods

put :: MetaInformation -> Put

get :: Get MetaInformation

putList :: [MetaInformation] -> Put

Binary PReason Source # 
Instance details

Methods

put :: PReason -> Put

get :: Get PReason

putList :: [PReason] -> Put

Binary Totality Source # 
Instance details

Methods

put :: Totality -> Put

get :: Get Totality

putList :: [Totality] -> Put

Binary DataOpt Source # 
Instance details

Methods

put :: DataOpt -> Put

get :: Get DataOpt

putList :: [DataOpt] -> Put

Binary TypeInfo Source # 
Instance details

Methods

put :: TypeInfo -> Put

get :: Get TypeInfo

putList :: [TypeInfo] -> Put

Binary DocTerm Source # 
Instance details

Methods

put :: DocTerm -> Put

get :: Get DocTerm

putList :: [DocTerm] -> Put

Binary Codegen Source # 
Instance details

Methods

put :: Codegen -> Put

get :: Get Codegen

putList :: [Codegen] -> Put

Binary IRFormat Source # 
Instance details

Methods

put :: IRFormat -> Put

get :: Get IRFormat

putList :: [IRFormat] -> Put

Binary LanguageExt Source # 
Instance details

Methods

put :: LanguageExt -> Put

get :: Get LanguageExt

putList :: [LanguageExt] -> Put

Binary t => Binary (DSL' t) Source # 
Instance details

Methods

put :: DSL' t -> Put

get :: Get (DSL' t)

putList :: [DSL' t] -> Put

Binary t => Binary (PArg' t) Source # 
Instance details

Methods

put :: PArg' t -> Put

get :: Get (PArg' t)

putList :: [PArg' t] -> Put

Binary t => Binary (PClause' t) Source # 
Instance details

Methods

put :: PClause' t -> Put

get :: Get (PClause' t)

putList :: [PClause' t] -> Put

Binary t => Binary (PData' t) Source # 
Instance details

Methods

put :: PData' t -> Put

get :: Get (PData' t)

putList :: [PData' t] -> Put

Binary t => Binary (PDecl' t) Source # 
Instance details

Methods

put :: PDecl' t -> Put

get :: Get (PDecl' t)

putList :: [PDecl' t] -> Put

Binary t => Binary (PDo' t) Source # 
Instance details

Methods

put :: PDo' t -> Put

get :: Get (PDo' t)

putList :: [PDo' t] -> Put

Binary t => Binary (PTactic' t) Source # 
Instance details

Methods

put :: PTactic' t -> Put

get :: Get (PTactic' t)

putList :: [PTactic' t] -> Put

Binary t => Binary (ProvideWhat' t) Source # 
Instance details

Methods

put :: ProvideWhat' t -> Put

get :: Get (ProvideWhat' t)

putList :: [ProvideWhat' t] -> Put

Binary a => Binary (Block a) Source # 
Instance details

Methods

put :: Block a -> Put

get :: Get (Block a)

putList :: [Block a] -> Put

Binary a => Binary (Docstring a) Source # 
Instance details

Methods

put :: Docstring a -> Put

get :: Get (Docstring a)

putList :: [Docstring a] -> Put

Binary a => Binary (Inline a) Source # 
Instance details

Methods

put :: Inline a -> Put

get :: Get (Inline a)

putList :: [Inline a] -> Put