| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Idris.Elab.Class
Documentation
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 () |