idris-1.3.4: Functional Programming Language with Dependent Types
LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell2010

Idris.Imports

Description

 
Synopsis

Documentation

data IFileType #

Instances

Instances details
Show IFileType # 
Instance details

Defined in Idris.Imports

Eq IFileType # 
Instance details

Defined in Idris.Imports

Ord IFileType # 
Instance details

Defined in Idris.Imports

pkgIndex :: PkgName -> FilePath #

Get the index file name for a package name

data PkgName #

Instances

Instances details
Show PkgName # 
Instance details

Defined in Idris.Imports

Eq PkgName # 
Instance details

Defined in Idris.Imports

Methods

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

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