idris-1.3.0: Functional Programming Language with Dependent Types

LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell2010

Idris.Erasure

Description

 

Synopsis

Documentation

performUsageAnalysis :: [Name] -> Idris [Name] Source #

Perform usage analysis, write the relevant information in the internal structures, returning the list of reachable names.

mkFieldName :: Name -> Int -> Name Source #

Make a field name out of a data constructor name and field number.