Safe Haskell | None |
---|
Documentation
ibcVersion :: Word8Source
timestampOlder :: FilePath -> FilePath -> Idris ()Source
pPostulates :: [Name] -> Idris ()Source
pParsedSpan :: Maybe FC -> Idris ()Source
pImportDirs :: [FilePath] -> Idris ()Source
pInstances :: [(Bool, Name, Name)] -> Idris ()Source
pDatatypes :: [(Name, TypeInfo)] -> Idris ()Source
pAccess :: [(Name, Accessibility)] -> Idris ()Source
pTotCheckErr :: [(FC, String)] -> Idris ()Source
pCoercions :: [Name] -> Idris ()Source
pNameHints :: [(Name, Name)] -> Idris ()Source
pMetaInformation :: [(Name, MetaInformation)] -> Idris ()Source
pErrorHandlers :: [Name] -> Idris ()Source
safeToEnum :: (Enum a, Bounded a, Integral int) => String -> int -> aSource