inferno-core-0.1.0.0: inferno-core.cabal
cabal-version: 2.4
name: inferno-core
version: 0.1.0.0
synopsis: A statically-typed functional scripting language
description: Parser, type inference, and interpreter for a statically-typed functional scripting language
category: DSL,Scripting
homepage: https://github.com/plow-technologies/inferno.git#readme
bug-reports: https://github.com/plow-technologies/inferno.git/issues
copyright: Plow-Technologies LLC
license: MIT
license-file: LICENSE
author: Sam Balco
maintainer: info@plowtech.net
build-type: Simple
extra-source-files:
CHANGELOG.md
golden/**/*.json
source-repository head
type: git
location: https://github.com/plow-technologies/inferno.git
library
exposed-modules:
Inferno.Eval
, Inferno.Eval.Error
, Inferno.Infer
, Inferno.Infer.Env
, Inferno.Infer.Exhaustiveness
, Inferno.Infer.Pinned
, Inferno.Module
, Inferno.Module.Cast
, Inferno.Module.Builtin
, Inferno.Module.Prelude
, Inferno.Parse
, Inferno.Parse.Commented
, Inferno.Parse.Error
, Inferno.Utils.QQ.Script
, Inferno.Utils.QQ.Module
other-modules:
Inferno.Infer.Error
, Inferno.Module.Prelude.Defs
, Inferno.Utils.QQ.Common
hs-source-dirs:
src
ghc-options: -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates
build-depends:
base >= 4.13 && < 4.17
, bimap >= 0.5.0 && < 0.6
, bytestring >= 0.10.10 && < 0.12
, containers >= 0.6.2 && < 0.7
, cryptonite >= 0.30 && < 0.31
, exceptions >= 0.10.4 && < 0.11
, generic-lens >= 2.2.1 && < 2.3
, inferno-types >= 0.1.0 && < 0.2
, megaparsec >= 9.2.1 && < 9.3
, memory >= 0.18.0 && < 0.19
, mtl >= 2.2.2 && < 2.3
, parser-combinators >= 1.3.0 && < 1.4
, picosat >= 0.1.6 && < 0.2
, prettyprinter >= 1.7.1 && < 1.8
, recursion-schemes >= 5.2.2 && < 5.3
, syb >= 0.7.2 && < 0.8
, template-haskell >= 2.15 && < 2.19
, text >= 2.0.1 && < 2.1
, time >= 1.9.3 && < 1.12
default-language: Haskell2010
default-extensions:
DeriveDataTypeable
, DeriveFunctor
, DeriveGeneric
, FlexibleContexts
, FlexibleInstances
, LambdaCase
, MultiParamTypeClasses
, OverloadedStrings
, TupleSections
, RecordWildCards
test-suite inferno-tests
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: Spec.hs
other-modules:
Eval.Spec
, Golden.Spec
, Infer.Spec
, Parse.Spec
, Utils
build-depends:
base >=4.7 && <5
, containers
, exceptions
, hspec
, hspec-golden-aeson
, inferno-core
, inferno-types
, inferno-vc
, megaparsec
, mtl
, prettyprinter
, pretty-simple
, QuickCheck
, recursion-schemes
, text
default-language: Haskell2010
default-extensions:
DeriveDataTypeable
, DeriveFunctor
, DeriveGeneric
, FlexibleContexts
, FlexibleInstances
, LambdaCase
, OverloadedStrings
, TupleSections
, RecordWildCards
ghc-options: -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates