idris-0.9.15.1: Functional Programming Language with Dependent Types

Safe HaskellNone

Idris.Erasure

Documentation

performUsageAnalysis :: Idris [Name]Source

mkFieldName :: Name -> Int -> NameSource