elara.cabal

cabal-version: 2.0

-- This file has been generated from package.yaml by hpack version 0.38.3.
--
-- see: https://github.com/sol/hpack

name:           elara
version:        0.1.0
synopsis:       See README for more info
description:    See README for more info
homepage:       https://github.com/ElaraLang/elara#readme
author:         Alexander Wood
maintainer:     Alexander Wood <alexljwood24@hotmail.co.uk>
copyright:      2022 Alexander Wood
license:        MIT
license-file:   LICENSE
build-type:     Simple

library
  exposed-modules:
      Effectful.Error.Extra
      Effectful.State.Extra
      Elara.AST.Desugared
      Elara.AST.Frontend
      Elara.AST.Generic
      Elara.AST.Generic.Common
      Elara.AST.Generic.Instances
      Elara.AST.Generic.Instances.DataPlated
      Elara.AST.Generic.Instances.Pretty
      Elara.AST.Generic.Instances.Simple
      Elara.AST.Generic.Instances.StripLocation
      Elara.AST.Generic.Pattern
      Elara.AST.Generic.Types
      Elara.AST.Generic.Utils
      Elara.AST.Introspection
      Elara.AST.Kinded
      Elara.AST.Module
      Elara.AST.Name
      Elara.AST.Pretty
      Elara.AST.Region
      Elara.AST.Renamed
      Elara.AST.Select
      Elara.AST.Shunted
      Elara.AST.StripLocation
      Elara.AST.Typed
      Elara.AST.Unlocated
      Elara.AST.VarRef
      Elara.ConstExpr
      Elara.Core
      Elara.Core.Analysis
      Elara.Core.ANF
      Elara.Core.Generic
      Elara.Core.LiftClosures
      Elara.Core.LiftClosures.Error
      Elara.Core.LiftClosures.Util
      Elara.Core.Module
      Elara.Core.Pretty
      Elara.Core.ToANF
      Elara.Core.TypeCheck
      Elara.CoreToCore
      Elara.Data.AtLeast2List
      Elara.Data.Kind
      Elara.Data.Kind.Infer
      Elara.Data.Pretty
      Elara.Data.Pretty.Styles
      Elara.Data.TopologicalGraph
      Elara.Data.Unique
      Elara.Data.Unique.Effect
      Elara.Data.Unwrap
      Elara.Desugar
      Elara.Desugar.Error
      Elara.Error
      Elara.Error.Codes
      Elara.Error.Effect
      Elara.Error.Internal
      Elara.Interpreter
      Elara.JVM.Emit
      Elara.JVM.Emit.Lambda
      Elara.JVM.Emit.Operator
      Elara.JVM.Emit.State
      Elara.JVM.Emit.Types
      Elara.JVM.Emit.Utils
      Elara.JVM.Error
      Elara.JVM.IR
      Elara.JVM.Lower
      Elara.JVM.Query
      Elara.JVM.Lower.ADT
      Elara.JVM.Lower.Expr
      Elara.JVM.Lower.Function
      Elara.JVM.Lower.Match
      Elara.JVM.Lower.Monad
      Elara.JVM.Lower.Util
      Elara.Lexer.Action
      Elara.Lexer.Char
      Elara.Lexer.Lexer
      Elara.Lexer.Reader
      Elara.Lexer.Token
      Elara.Lexer.Utils
      Elara.Logging
      Elara.ModuleIndex
      Elara.Parse
      Elara.Parse.Annotation
      Elara.Parse.Combinators
      Elara.Parse.Debug
      Elara.Parse.Declaration
      Elara.Parse.Error
      Elara.Parse.Expression
      Elara.Parse.Indents
      Elara.Parse.Literal
      Elara.Parse.Module
      Elara.Parse.Names
      Elara.Parse.Pattern
      Elara.Parse.Primitives
      Elara.Parse.Stream
      Elara.Parse.Type
      Elara.Pipeline
      Elara.Prim
      Elara.Prim.Core
      Elara.Prim.Rename
      Elara.Query
      Elara.Query.Common
      Elara.Query.Effects
      Elara.Query.Errors
      Elara.Query.TH
      Elara.ReadFile
      Elara.Rename
      Elara.Rename.Error
      Elara.Rename.Imports
      Elara.Rename.State
      Elara.Rules
      Elara.Rules.Generic
      Elara.SCC
      Elara.SCC.Type
      Elara.Settings
      Elara.Shunt
      Elara.Shunt.Error
      Elara.Shunt.Operator
      Elara.ToCore
      Elara.ToCore.Match
      Elara.TypeInfer
      Elara.TypeInfer.ConstraintGeneration
      Elara.TypeInfer.Context
      Elara.TypeInfer.Convert
      Elara.TypeInfer.Environment
      Elara.TypeInfer.Error
      Elara.TypeInfer.Ftv
      Elara.TypeInfer.Generalise
      Elara.TypeInfer.Monad
      Elara.TypeInfer.Render
      Elara.TypeInfer.Syntax
      Elara.TypeInfer.Type
      Elara.TypeInfer.Unique
      Elara.Utils
      Elara.Width
      Prelude
      Print
      Rock
      Rock.Memo
      TODO
  hs-source-dirs:
      src
  default-extensions:
      OverloadedStrings
      OverloadedRecordDot
      TypeFamilies
      LambdaCase
      ImportQualifiedPost
      DeriveDataTypeable
      DataKinds
      DeriveFunctor
      TypeApplications
      PartialTypeSignatures
  ghc-options: -W -Wno-name-shadowing -Wno-partial-type-signatures -Widentities -optP-Wno-nonportable-include-path -fdefer-typed-holes -fno-show-valid-hole-fits -fplugin=Effectful.Plugin -fwrite-ide-info -hiedir=.hie -O0 -threaded -rtsopts -with-rtsopts=-N
  build-tool-depends:
      alex:alex
  build-depends:
      aeson
    , algebraic-graphs
    , array
    , base ==4.*
    , binary
    , bytestring
    , co-log-core
    , co-log-effectful
    , containers
    , dependent-hashmap
    , dependent-sum-template
    , diagnose
    , directory
    , effectful >=2.6.1.0
    , effectful-core
    , effectful-plugin
    , effectful-th
    , filepath
    , generic-optics
    , h2jvm
    , hashable
    , kind-generics-th
    , lens
    , lifted-base
    , matrix
    , megaparsec
    , mtl
    , optics
    , parser-combinators
    , pretty-simple
    , prettyprinter
    , prettyprinter-ansi-terminal
    , process
    , relude
    , safe-exceptions
    , some
    , stringsearch
    , template-haskell
    , terminal-size
    , text-metrics
    , time
    , utf8-string
  mixins:
      base hiding (Prelude)
  default-language: GHC2024

executable elara
  main-is: Main.hs
  other-modules:
      Paths_elara
  autogen-modules:
      Paths_elara
  hs-source-dirs:
      app
  default-extensions:
      OverloadedStrings
      OverloadedRecordDot
      TypeFamilies
      LambdaCase
      ImportQualifiedPost
      DeriveDataTypeable
      DataKinds
      DeriveFunctor
      TypeApplications
      PartialTypeSignatures
  ghc-options: -W -Wno-name-shadowing -Wno-partial-type-signatures -Widentities -optP-Wno-nonportable-include-path -fdefer-typed-holes -fno-show-valid-hole-fits -fplugin=Effectful.Plugin -fwrite-ide-info -hiedir=.hie -O0 -threaded -rtsopts -with-rtsopts=-N -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      aeson
    , algebraic-graphs
    , array
    , autodocodec
    , base ==4.*
    , binary
    , bytestring
    , co-log-core
    , co-log-effectful
    , containers
    , dependent-hashmap
    , dependent-sum-template
    , diagnose
    , directory
    , effectful >=2.6.1.0
    , effectful-core
    , effectful-plugin
    , effectful-th
    , elara
    , filepath
    , generic-optics
    , h2jvm
    , hashable
    , kind-generics-th
    , lens
    , lifted-base
    , matrix
    , megaparsec
    , mtl
    , opt-env-conf
    , optics
    , parser-combinators
    , pretty-simple
    , prettyprinter
    , prettyprinter-ansi-terminal
    , process
    , relude
    , safe-exceptions
    , some
    , stringsearch
    , template-haskell
    , terminal-size
    , text-metrics
    , time
    , utf8-string
  mixins:
      base hiding (Prelude)
  default-language: GHC2024

test-suite elara-test
  type: exitcode-stdio-1.0
  main-is: Spec.hs
  other-modules:
      Arbitrary.AST
      Arbitrary.Literals
      Arbitrary.Names
      Arbitrary.Type
      Boilerplate
      Common
      HedgehogSyd
      Golden
      Infer
      Infer.Unify
      Lex
      Lex.Common
      Lex.Indents
      LiftClosures
      Orphans
      Parse
      Parse.Common
      Parse.Expressions
      Parse.Patterns
      Region
      Shunt
  hs-source-dirs:
      test
  default-extensions:
      OverloadedStrings
      OverloadedRecordDot
      TypeFamilies
      LambdaCase
      ImportQualifiedPost
      DeriveDataTypeable
      DataKinds
      DeriveFunctor
      TypeApplications
      PartialTypeSignatures
      QuasiQuotes
  ghc-options: -W -Wno-name-shadowing -Wno-partial-type-signatures -Widentities -optP-Wno-nonportable-include-path -fdefer-typed-holes -fno-show-valid-hole-fits -fplugin=Effectful.Plugin -fwrite-ide-info -hiedir=.hie -O0 -threaded -rtsopts -with-rtsopts=-N -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      HUnit
    , QuickCheck
    , aeson
    , algebraic-graphs
    , array
    , base ==4.*
    , binary
    , bytestring
    , co-log-core
    , co-log-effectful
    , containers
    , dependent-hashmap
    , dependent-sum-template
    , diagnose
    , directory
    , effectful >=2.6.1.0
    , effectful-core
    , effectful-plugin
    , effectful-th
    , elara
    , filepath
    , generic-optics
    , h2jvm
    , hashable
    , hedgehog
    , hspec-megaparsec
    , kind-generics-th
    , lens
    , lifted-base
    , matrix
    , megaparsec
    , mtl
    , neat-interpolation
    , optics
    , parser-combinators
    , pretty-simple
    , prettyprinter
    , prettyprinter-ansi-terminal
    , process
    , relude
    , safe-exceptions
    , some
    , stringsearch
    , sydtest
    , sydtest-hedgehog
    , template-haskell
    , terminal-size
    , text-metrics
    , time
    , utf8-string
  mixins:
      base hiding (Prelude)
  default-language: GHC2024