idris-1.3.1: Functional Programming Language with Dependent Types

LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell2010

Idris.Elab.Interface

Description

 

Documentation

elabInterface Source #

Arguments

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

Superclass constraints

-> Name 
-> FC 
-> [(Name, FC, PTerm)]

Parameters

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

determining params

-> [PDecl]

interface body

-> Maybe (Name, FC)

implementation ctor name and location

-> Docstring (Either Err PTerm)

implementation ctor docs

-> Idris ()