idris-0.12.3: Functional Programming Language with Dependent Types

CopyrightLicense : BSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell98

Idris.Elab.Interface

Description

 

Documentation

elabInterface 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]

interface body

-> Maybe (Name, FC)

implementation ctor name and location

-> Docstring (Either Err PTerm)

implementation ctor docs

-> Idris ()