102 lines
2.1 KiB
Text
102 lines
2.1 KiB
Text
cabal-version: 2.4
|
|
name: inductive-lambda
|
|
version: 0.1.0.0
|
|
license: MIT
|
|
copyright: 2022 Leon Vatthauer
|
|
maintainer: srid@srid.ca
|
|
author: Leon Vatthauer
|
|
category: Web
|
|
homepage: https://srid.ca/inductive-lambda
|
|
|
|
-- TODO: Before hackage release.
|
|
-- A short (one-line) description of the package.
|
|
synopsis: A template for Haskell projects using Nix
|
|
|
|
-- A longer description of the package.
|
|
-- description:
|
|
|
|
-- A URL where users can report bugs.
|
|
-- bug-reports:
|
|
|
|
extra-source-files:
|
|
LICENSE
|
|
README.md
|
|
|
|
common shared
|
|
ghc-options:
|
|
-Wall -Wincomplete-record-updates -Wincomplete-uni-patterns
|
|
-Wmissing-deriving-strategies -Wunused-foralls -Wunused-foralls
|
|
-fprint-explicit-foralls -fprint-explicit-kinds
|
|
|
|
mixins:
|
|
base hiding (Prelude),
|
|
relude (Relude as Prelude, Relude.Container.One),
|
|
relude
|
|
|
|
default-extensions:
|
|
BangPatterns
|
|
ConstraintKinds
|
|
DataKinds
|
|
DeriveDataTypeable
|
|
DeriveFoldable
|
|
DeriveFunctor
|
|
DeriveGeneric
|
|
DeriveLift
|
|
DeriveTraversable
|
|
DerivingStrategies
|
|
DerivingVia
|
|
EmptyCase
|
|
EmptyDataDecls
|
|
EmptyDataDeriving
|
|
ExistentialQuantification
|
|
ExplicitForAll
|
|
FlexibleContexts
|
|
FlexibleInstances
|
|
GADTSyntax
|
|
GeneralisedNewtypeDeriving
|
|
ImportQualifiedPost
|
|
KindSignatures
|
|
LambdaCase
|
|
MultiParamTypeClasses
|
|
MultiWayIf
|
|
NoStarIsType
|
|
NumericUnderscores
|
|
OverloadedStrings
|
|
PolyKinds
|
|
PostfixOperators
|
|
RankNTypes
|
|
ScopedTypeVariables
|
|
StandaloneDeriving
|
|
StandaloneKindSignatures
|
|
TupleSections
|
|
TypeApplications
|
|
TypeFamilies
|
|
TypeOperators
|
|
ViewPatterns
|
|
|
|
build-depends:
|
|
, aeson
|
|
, async
|
|
, base >=4 && <5
|
|
, data-default
|
|
, directory
|
|
, filepath
|
|
, mtl
|
|
, optics-core
|
|
, profunctors
|
|
, relude >=1.0
|
|
, shower
|
|
, time
|
|
, with-utf8
|
|
, megaparsec
|
|
|
|
hs-source-dirs: src
|
|
default-language: Haskell2010
|
|
|
|
executable inductive-lambda
|
|
import: shared
|
|
main-is: Main.hs
|
|
other-modules:
|
|
Syntax.Parser
|
|
Syntax.Lexer
|
|
Syntax.AST
|