License | BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Idris.Interactive
Description
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 #