| Copyright | License : BSD3 |
|---|---|
| Maintainer | The Idris Community. |
| Safe Haskell | None |
| Language | Haskell98 |
Idris.Elab.Instance
Description
Documentation
Arguments
| :: ElabInfo | |
| -> SyntaxInfo | |
| -> Docstring (Either Err PTerm) | |
| -> [(Name, Docstring (Either Err PTerm))] | |
| -> ElabWhat | phase |
| -> FC | |
| -> [(Name, PTerm)] | constraints |
| -> [Name] | parent dictionary names (optionally) |
| -> Accessibility | |
| -> FnOpts | |
| -> Name | the class |
| -> FC | precise location of class name |
| -> [PTerm] | class parameters (i.e. instance) |
| -> [(Name, PTerm)] | Extra arguments in scope (e.g. instance in where block) |
| -> PTerm | full instance type |
| -> Maybe Name | explicit name |
| -> [PDecl] | |
| -> Idris () |