Idris.Interactive
Description
caseSplitAt :: FilePath -> Bool -> Int -> Name -> Idris () #
addClauseFrom :: FilePath -> Bool -> Int -> Name -> Idris () #
addProofClauseFrom :: FilePath -> Bool -> Int -> Name -> Idris () #
addMissing :: FilePath -> Bool -> Int -> Name -> Idris () #
makeWith :: FilePath -> Bool -> Int -> Name -> Idris () #
makeCase :: FilePath -> Bool -> Int -> Name -> Idris () #
doProofSearch :: FilePath -> Bool -> Bool -> Int -> Name -> [Name] -> Maybe Int -> Idris () #
makeLemma :: FilePath -> Bool -> Int -> Name -> Idris () #