idris

Safe Haskell	None

Idris.IBC

Documentation

ibcVersion :: Word8 Source

data IBCFile Source

Constructors

Fields

ver :: Word8
sourcefile :: FilePath
ibc_imports :: [FilePath]
ibc_implicits :: [(Name, [PArg])]
ibc_fixes :: [FixDecl]
ibc_statics :: [(Name, [Bool])]
ibc_classes :: [(Name, ClassInfo)]
ibc_instances :: [(Bool, Name, Name)]
ibc_dsls :: [(Name, DSL)]
ibc_datatypes :: [(Name, TypeInfo)]
ibc_optimise :: [(Name, OptInfo)]
ibc_syntax :: [Syntax]
ibc_keywords :: [String]
ibc_objs :: [(Codegen, FilePath)]
ibc_libs :: [(Codegen, String)]
ibc_cgflags :: [(Codegen, String)]
ibc_dynamic_libs :: [String]
ibc_hdrs :: [(Codegen, String)]
ibc_access :: [(Name, Accessibility)]
ibc_total :: [(Name, Totality)]
ibc_flags :: [(Name, [FnOpt])]
ibc_cg :: [(Name, CGInfo)]
ibc_defs :: [(Name, Def)]
ibc_docstrings :: [(Name, String)]
ibc_transforms :: [(Term, Term)]
ibc_coercions :: [Name]
ibc_lineapps :: [(FilePath, Int, PTerm)]

Instances

Show IBCFile
Binary IBCFile

initIBC :: IBCFile Source

loadIBC :: FilePath -> Idris ()Source

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

mkIBC :: [IBCWrite] -> IBCFile -> Idris IBCFile Source

ibc :: IState -> IBCWrite -> IBCFile -> Idris IBCFile Source

process :: IBCFile -> FilePath -> Idris ()Source

timestampOlder :: FilePath -> FilePath -> IO ()Source

pImports :: [FilePath] -> Idris ()Source

pImps :: [(Name, [PArg])] -> Idris ()Source

pFixes :: [FixDecl] -> Idris ()Source

pStatics :: [(Name, [Bool])] -> Idris ()Source

pClasses :: [(Name, ClassInfo)] -> Idris ()Source

pInstances :: [(Bool, Name, Name)] -> Idris ()Source

pDSLs :: [(Name, DSL)] -> Idris ()Source

pDatatypes :: [(Name, TypeInfo)] -> Idris ()Source

pOptimise :: [(Name, OptInfo)] -> Idris ()Source

pSyntax :: [Syntax] -> Idris ()Source

pKeywords :: [String] -> Idris ()Source

pObjs :: [(Codegen, FilePath)] -> Idris ()Source

pLibs :: [(Codegen, String)] -> Idris ()Source

pCGFlags :: [(Codegen, String)] -> Idris ()Source

pDyLibs :: [String] -> Idris ()Source

pHdrs :: [(Codegen, String)] -> Idris ()Source

pDefs :: [(Name, Def)] -> Idris ()Source

pDocs :: [(Name, String)] -> Idris ()Source

pAccess :: [(Name, Accessibility)] -> Idris ()Source

pFlags :: [(Name, [FnOpt])] -> Idris ()Source

pTotal :: [(Name, Totality)] -> Idris ()Source

pCG :: [(Name, CGInfo)] -> Idris ()Source

pCoercions :: [Name] -> Idris ()Source

pTrans :: [(Term, Term)] -> Idris ()Source

pLineApps :: [(FilePath, Int, PTerm)] -> Idris ()Source