Idris.CaseSplit

Documentation

splitOnLine

Arguments

:: Int

line number

-> Name

variable

-> FilePath

name of file

-> Idris (Bool, [[(Name, PTerm)]])

replaceSplits :: String -> [[(Name, PTerm)]] -> Bool -> Idris [String]

getClause

Arguments

:: Int

line number that the type is declared on

-> Name

Function name

-> Name

User given name

-> FilePath

Source file name

-> Idris String

getProofClause

Arguments

:: Int

line number that the type is declared

-> Name

Function name

-> FilePath

Source file name

-> Idris String

mkWith :: String -> Name -> String

nameMissing :: [PTerm] -> Idris [PTerm]

getUniq :: (Show t, Num t) => [Char] -> t -> Idris ([Char], t)

nameRoot :: [String] -> [Char] -> String