idris-0.12.2: Functional Programming Language with Dependent Types

CopyrightLicense : BSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell98

Idris.IBC

Contents

Description

 

Synopsis

Documentation

loadIBC Source #

Arguments

:: Bool

True = reexport, False = make everything private

-> IBCPhase 
-> FilePath 
-> Idris () 

loadPkgIndex :: String -> Idris () Source #

Load an entire package from its index file

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.

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

Orphan instances

Binary CodeAttr Source # 

Methods

put :: CodeAttr -> Put #

get :: Get CodeAttr #

putList :: [CodeAttr] -> Put #

Binary ListType Source # 

Methods

put :: ListType -> Put #

get :: Get ListType #

putList :: [ListType] -> Put #

Binary NumWrapper Source # 
Binary Options Source # 

Methods

put :: Options -> Put #

get :: Get Options #

putList :: [Options] -> Put #

Binary TypeInfo Source # 

Methods

put :: TypeInfo -> Put #

get :: Get TypeInfo #

putList :: [TypeInfo] -> Put #

Binary DataOpt Source # 

Methods

put :: DataOpt -> Put #

get :: Get DataOpt #

putList :: [DataOpt] -> Put #

Binary CaseAlt Source # 

Methods

put :: CaseAlt -> Put #

get :: Get CaseAlt #

putList :: [CaseAlt] -> Put #

Binary SC Source # 

Methods

put :: SC -> Put #

get :: Get SC #

putList :: [SC] -> Put #

Binary CaseType Source # 

Methods

put :: CaseType -> Put #

get :: Get CaseType #

putList :: [CaseType] -> Put #

Binary MetaInformation Source # 
Binary PReason Source # 

Methods

put :: PReason -> Put #

get :: Get PReason #

putList :: [PReason] -> Put #

Binary Totality Source # 

Methods

put :: Totality -> Put #

get :: Get Totality #

putList :: [Totality] -> Put #

Binary Accessibility Source # 
Binary CaseInfo Source # 

Methods

put :: CaseInfo -> Put #

get :: Get CaseInfo #

putList :: [CaseInfo] -> Put #

Binary CaseDefs Source # 

Methods

put :: CaseDefs -> Put #

get :: Get CaseDefs #

putList :: [CaseDefs] -> Put #

Binary Def Source # 

Methods

put :: Def -> Put #

get :: Get Def #

putList :: [Def] -> Put #

Binary DocTerm Source # 

Methods

put :: DocTerm -> Put #

get :: Get DocTerm #

putList :: [DocTerm] -> Put #

Binary SyntaxInfo Source # 
Binary Using Source # 

Methods

put :: Using -> Put #

get :: Get Using #

putList :: [Using] -> Put #

Binary SSymbol Source # 

Methods

put :: SSymbol -> Put #

get :: Get SSymbol #

putList :: [SSymbol] -> Put #

Binary Syntax Source # 

Methods

put :: Syntax -> Put #

get :: Get Syntax #

putList :: [Syntax] -> Put #

Binary SynContext Source # 
Binary OptInfo Source # 

Methods

put :: OptInfo -> Put #

get :: Get OptInfo #

putList :: [OptInfo] -> Put #

Binary FnInfo Source # 

Methods

put :: FnInfo -> Put #

get :: Get FnInfo #

putList :: [FnInfo] -> Put #

Binary RecordInfo Source # 
Binary ClassInfo Source # 
Binary ArgOpt Source # 

Methods

put :: ArgOpt -> Put #

get :: Get ArgOpt #

putList :: [ArgOpt] -> Put #

Binary PAltType Source # 

Methods

put :: PAltType -> Put #

get :: Get PAltType #

putList :: [PAltType] -> Put #

Binary PTerm Source # 

Methods

put :: PTerm -> Put #

get :: Get PTerm #

putList :: [PTerm] -> Put #

Binary PunInfo Source # 

Methods

put :: PunInfo -> Put #

get :: Get PunInfo #

putList :: [PunInfo] -> Put #

Binary FnOpt Source # 

Methods

put :: FnOpt -> Put #

get :: Get FnOpt #

putList :: [FnOpt] -> Put #

Binary Plicity Source # 

Methods

put :: Plicity -> Put #

get :: Get Plicity #

putList :: [Plicity] -> Put #

Binary Static Source # 

Methods

put :: Static -> Put #

get :: Get Static #

putList :: [Static] -> Put #

Binary FixDecl Source # 

Methods

put :: FixDecl -> Put #

get :: Get FixDecl #

putList :: [FixDecl] -> Put #

Binary Fixity Source # 

Methods

put :: Fixity -> Put #

get :: Get Fixity #

putList :: [Fixity] -> Put #

Binary IRFormat Source # 

Methods

put :: IRFormat -> Put #

get :: Get IRFormat #

putList :: [IRFormat] -> Put #

Binary Codegen Source # 

Methods

put :: Codegen -> Put #

get :: Get Codegen #

putList :: [Codegen] -> Put #

Binary CGInfo Source # 

Methods

put :: CGInfo -> Put #

get :: Get CGInfo #

putList :: [CGInfo] -> Put #

Binary SizeChange Source # 
Binary a => Binary (Inline a) Source # 

Methods

put :: Inline a -> Put #

get :: Get (Inline a) #

putList :: [Inline a] -> Put #

Binary a => Binary (Block a) Source # 

Methods

put :: Block a -> Put #

get :: Get (Block a) #

putList :: [Block a] -> Put #

Binary a => Binary (Docstring a) Source # 

Methods

put :: Docstring a -> Put #

get :: Get (Docstring a) #

putList :: [Docstring a] -> Put #

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

Methods

put :: DSL' t -> Put #

get :: Get (DSL' t) #

putList :: [DSL' t] -> Put #

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

Methods

put :: PArg' t -> Put #

get :: Get (PArg' t) #

putList :: [PArg' t] -> Put #

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

Methods

put :: PDo' t -> Put #

get :: Get (PDo' t) #

putList :: [PDo' t] -> Put #

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

Methods

put :: PTactic' t -> Put #

get :: Get (PTactic' t) #

putList :: [PTactic' t] -> Put #

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

Methods

put :: PData' t -> Put #

get :: Get (PData' t) #

putList :: [PData' t] -> Put #

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

Methods

put :: PClause' t -> Put #

get :: Get (PClause' t) #

putList :: [PClause' t] -> Put #

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

Methods

put :: PDecl' t -> Put #

get :: Get (PDecl' t) #

putList :: [PDecl' t] -> Put #

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

Methods

put :: ProvideWhat' t -> Put #

get :: Get (ProvideWhat' t) #

putList :: [ProvideWhat' t] -> Put #