Safe Haskell | None |
---|
Documentation
caseSplitAt :: FilePath -> Bool -> Int -> Name -> Idris ()Source
addClauseFrom :: FilePath -> Bool -> Int -> Name -> Idris ()Source
addProofClauseFrom :: FilePath -> Bool -> Int -> Name -> Idris ()Source
addMissing :: FilePath -> Bool -> Int -> Name -> Idris ()Source
doProofSearch :: FilePath -> Bool -> Bool -> Int -> Name -> [Name] -> Maybe Int -> Idris ()Source