idris-0.11.2: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

Idris.Elab.Class

Documentation

elabClass Source

Arguments

:: ElabInfo 
-> SyntaxInfo 
-> Docstring (Either Err PTerm) 
-> FC 
-> [(Name, PTerm)] 
-> Name 
-> FC 
-> [(Name, FC, PTerm)] 
-> [(Name, Docstring (Either Err PTerm))] 
-> [(Name, FC)]

determining params

-> [PDecl]

class body

-> Maybe (Name, FC)

instance ctor name and location

-> Docstring (Either Err PTerm)

instance ctor docs

-> Idris ()