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

Idris.IBC

Contents

Orphan instances

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

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

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

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 #
Methods put :: NumWrapper -> Put # get :: Get NumWrapper # putList :: [NumWrapper] -> Put #
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 DocTerm Source #
Methods put :: DocTerm -> Put # get :: Get DocTerm # putList :: [DocTerm] -> 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 #
Methods put :: MetaInformation -> Put # get :: Get MetaInformation # putList :: [MetaInformation] -> Put #
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 #
Methods put :: Accessibility -> Put # get :: Get Accessibility # putList :: [Accessibility] -> Put #
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 SyntaxInfo Source #
Methods put :: SyntaxInfo -> Put # get :: Get SyntaxInfo # putList :: [SyntaxInfo] -> Put #
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 #
Methods put :: SynContext -> Put # get :: Get SynContext # putList :: [SynContext] -> Put #
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 #
Methods put :: RecordInfo -> Put # get :: Get RecordInfo # putList :: [RecordInfo] -> Put #
Binary InterfaceInfo Source #
Methods put :: InterfaceInfo -> Put # get :: Get InterfaceInfo # putList :: [InterfaceInfo] -> Put #
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 #
Methods put :: SizeChange -> Put # get :: Get SizeChange # putList :: [SizeChange] -> Put #
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 #