Idris.Elab.Interface

Documentation

elabInterface

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