idris-1.3.1: Functional Programming Language with Dependent Types

LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell2010

Idris.Imports

Description

 
Synopsis

Documentation

pkgIndex :: PkgName -> FilePath Source #

Get the index file name for a package name

data PkgName Source #

Instances
Eq PkgName Source # 
Instance details

Defined in Idris.Imports

Methods

(==) :: PkgName -> PkgName -> Bool #

(/=) :: PkgName -> PkgName -> Bool #

Show PkgName Source # 
Instance details

Defined in Idris.Imports