idris-0.12.2: Functional Programming Language with Dependent Types

CopyrightLicense : BSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell98

Idris.Elab.Class

Description

 

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