name:                 idris
version:              1.3.4
visibility:           public
id:                   idris-1.3.4-CzetPXHz9szL2e7hoCyB4A
key:                  idris-1.3.4-CzetPXHz9szL2e7hoCyB4A
license:              BSD-3-Clause
maintainer:           Niklas Larsson <niklas@mm.st>
author:               Edwin Brady
stability:            Beta
homepage:             https://www.idris-lang.org/
synopsis:             Functional Programming Language with Dependent Types
description:
    Idris is a general purpose language with full dependent types.
    It is compiled, with eager evaluation.
    Dependent types allow types to be predicated on values,
    meaning that some aspects of a program's behaviour can be
    specified precisely in the type. The language is closely
    related to Epigram and Agda. There is a tutorial at
    <https://www.idris-lang.org/documentation>.
    Features include:

    * Full, first class, dependent types with dependent pattern matching

    * where clauses, with rule, case expressions,
    pattern matching let and lambda bindings

    * Interfaces (similar to type classes), monad comprehensions

    * do notation, idiom brackets, syntactic conveniences for lists,
    tuples, dependent pairs

    * Totality checking

    * Coinductive types

    * Indentation significant syntax, extensible syntax

    * Cumulative universes

    * Simple foreign function interface (to C)

    * Hugs style interactive environment

category:             Compilers/Interpreters, Dependent Types
abi:                  d979410f9a5379f8368a1ac0fe09fa39
exposed:              True
exposed-modules:
    IRTS.Bytecode IRTS.CodegenC IRTS.CodegenCommon
    IRTS.CodegenJavaScript IRTS.Compiler IRTS.Defunctionalise
    IRTS.DumpBC IRTS.Exports IRTS.Inliner IRTS.JavaScript.AST
    IRTS.JavaScript.Codegen IRTS.JavaScript.LangTransforms
    IRTS.JavaScript.Name IRTS.JavaScript.PrimOp
    IRTS.JavaScript.Specialize IRTS.Lang IRTS.LangOpts IRTS.Portable
    IRTS.Simplified IRTS.System Idris.ASTUtils Idris.AbsSyntax
    Idris.AbsSyntaxTree Idris.Apropos Idris.CaseSplit Idris.Chaser
    Idris.CmdOptions Idris.Colours Idris.Completion Idris.Core.Binary
    Idris.Core.CaseTree Idris.Core.Constraints Idris.Core.DeepSeq
    Idris.Core.Elaborate Idris.Core.Evaluate Idris.Core.Execute
    Idris.Core.ProofState Idris.Core.ProofTerm Idris.Core.TT
    Idris.Core.Typecheck Idris.Core.Unify Idris.Core.WHNF
    Idris.Coverage Idris.DSL Idris.DataOpts Idris.DeepSeq
    Idris.Delaborate Idris.Directives Idris.Docs Idris.Docstrings
    Idris.Elab.AsPat Idris.Elab.Clause Idris.Elab.Data
    Idris.Elab.Implementation Idris.Elab.Interface Idris.Elab.Provider
    Idris.Elab.Quasiquote Idris.Elab.Record Idris.Elab.Rewrite
    Idris.Elab.RunElab Idris.Elab.Term Idris.Elab.Transform
    Idris.Elab.Type Idris.Elab.Utils Idris.Elab.Value Idris.ElabDecls
    Idris.Erasure Idris.ErrReverse Idris.Error Idris.Help Idris.IBC
    Idris.IdeMode Idris.IdrisDoc Idris.Imports Idris.Info
    Idris.Info.Show Idris.Inliner Idris.Interactive Idris.Main
    Idris.ModeCommon Idris.Options Idris.Output Idris.Package
    Idris.Package.Common Idris.Package.Parser Idris.Parser
    Idris.Parser.Data Idris.Parser.Expr Idris.Parser.Helpers
    Idris.Parser.Ops Idris.Parser.Stack Idris.PartialEval
    Idris.Primitives Idris.ProofSearch Idris.Prover Idris.Providers
    Idris.REPL Idris.REPL.Browse Idris.REPL.Commands Idris.REPL.Parser
    Idris.Reflection Idris.Termination Idris.Transforms
    Idris.TypeSearch Idris.Unlit Idris.WhoCalls Util.DynamicLinker
    Util.ScreenSize Util.System

hidden-modules:
    Util.Pretty Util.Net Paths_idris Version_idris Tools_idris
    BuildFlags_idris

import-dirs:
    /usr/pkg/lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A

library-dirs:
    /usr/pkg/lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A

library-dirs-static:
    /usr/pkg/lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A

dynamic-library-dirs: /usr/pkg/lib/aarch64-netbsd-ghc-9.10.1
data-dir:             /usr/pkg/share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4
hs-libraries:         HSidris-1.3.4-CzetPXHz9szL2e7hoCyB4A
extra-libraries:      gmp
depends:
    aeson-2.2.3.0-7XnCskwqBum1iz93aA1K0B
    annotated-wl-pprint-0.7.0-IqEW80DdCdb1gtGmpHlTKU
    ansi-terminal-1.1.2-Ktb2gMoAjz02DVVJFswbI0
    ansi-wl-pprint-1.0.2-EbSEZjdWmQSCsZVouFqtgF array-0.5.7.0-inplace
    async-2.2.5-LMf6IatO7unBmgPJOnsiMx base-4.20.0.0-inplace
    base64-bytestring-1.2.1.0-J7LrHzw4HYx9u66jbTXGg4
    binary-0.8.9.2-inplace blaze-html-0.9.2.0-LOnpVxfnuxD1EkTmlBgXvP
    blaze-markup-0.8.3.0-7bIFu6TYdl4Bsp2tKv4cVo
    bytestring-0.12.1.0-inplace
    cheapskate-0.1.1.2-3v4JTR45UgbGg2k0qjmKpG
    code-page-0.2.1-5Fei2W4l6ki73G2RTMPxgN containers-0.7-inplace
    deepseq-1.5.0.0-inplace directory-1.3.8.3-inplace
    filepath-1.5.2.0-inplace fingertree-0.1.5.0-Eb1l7nt0OrV7k5q739HMsR
    fsnotify-0.4.1.0-DGXFtRBAPomCnN9dkn1kYe haskeline-0.8.2.1-inplace
    ieee754-0.8.0-DtjEFf1PBHXLE0Gwa7LiaV
    libffi-0.2.1-LiZx5ivST9KEDzFrmoGRMQ
    megaparsec-9.7.0-CbJmYAiMrhRJAq8uh4lqvD mtl-2.3.1-inplace
    network-3.2.7.0-1Ct3oTmBj2N7AMqmYP2CgU
    optparse-applicative-0.18.1.0-Kyyt13fSGFu2W86AnJZe1B
    parser-combinators-1.3.0-1bpLIklhrVs2A3lex4XEJ3
    pretty-1.1.3.6-inplace process-1.6.19.0-inplace
    regex-tdfa-1.3.2.2-BlOJqBpnr0V8sEs0zpLfLd
    safe-0.3.21-6o1HyJG07tuFT9s6NxlbmB
    split-0.2.5-KrerJABNXWK8mcNwVgGWc5
    terminal-size-0.3.4-EKN80GNpQGnBy3a2XJUeTh text-2.1.1-inplace
    time-1.12.2-inplace transformers-0.6.1.1-inplace
    uniplate-1.6.13-EAqTS5j9Qi85Eyk4iNqo2Y unix-2.8.5.1-inplace
    unordered-containers-0.2.20-DmA1der3vIe6VwQRGylcdv
    utf8-string-1.0.2-1XncvugNvmEUe6szfkLY0
    vector-0.13.2.0-IQjxDWDvdFJE3A4jpN00x9
    vector-binary-instances-0.2.5.2-JA1Qjvdu9kP5XnfRq7vmfR
    zip-archive-0.4.3.2-CWWs0zSyY1Q8HA79WvEUP

haddock-interfaces:
    /usr/pkg/share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/idris.haddock

haddock-html:
    /usr/pkg/share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html
