idris-0.9.12: Functional Programming Language with Dependent Types

Safe HaskellNone

Idris.CaseSplit

Documentation

splitOnLineSource

Arguments

:: Int

line number

-> Name

variable

-> FilePath

name of file

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

getClauseSource

Arguments

:: Int

line number that the type is declared on

-> Name

Function name

-> FilePath

Source file name

-> Idris String 

getProofClauseSource

Arguments

:: Int

line number that the type is declared

-> Name

Function name

-> FilePath

Source file name

-> Idris String 

getUniq :: (Num t, Show t) => [Char] -> t -> StateT IState (ErrorT Err IO) ([Char], t)Source