idris-1.0: Functional Programming Language with Dependent Types

CopyrightLicense : BSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell98

Idris.IBC

Contents

Description

 

Synopsis

Documentation

loadIBC #

Arguments

:: Bool

True = reexport, False = make everything private

-> IBCPhase 
-> FilePath 
-> Idris () 

loadPkgIndex :: String -> Idris () #

Load an entire package from its index file

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.

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

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 # 
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 # 
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 # 
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 # 
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 # 
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 # 
Binary InterfaceInfo # 
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 # 
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 #