Idris.Elab.Class

Documentation

elabClass

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 ()