idris-1.2.0: 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

defaultPkg :: PkgDesc Source #

Default settings for package descriptions.