idris-1.3.2: Functional Programming Language with Dependent Types

LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell2010

Idris.Package.Common

Description

 
Synopsis

Documentation

data PkgDesc Source #

Description of an Idris package.

Constructors

PkgDesc 

Fields

Instances
Show PkgDesc Source # 
Instance details

Defined in Idris.Package.Common

defaultPkg :: PkgDesc Source #

Default settings for package descriptions.