free-alacarte-1.0.0.9: free-alacarte.cabal
cabal-version: 1.12
name: free-alacarte
version: 1.0.0.9
maintainer: Josep Bigorra <jjbigorra@gmail.com>
build-type: Simple
license: LGPL-3
license-file: COPYING
synopsis: Free monads based on intuitions from the Data types à la Carte.
description: Free monads based on intuitions from the Data types à la Carte paper. Combine functors and make embedded DSLs in Haskell.
homepage: https://codeberg.org/jjba23/free-alacarte
extra-source-files:
./test/Free/AlaCarte/Test.hs
./test/Spec.hs
library
exposed-modules:
Free.AlaCarte
hs-source-dirs:
src
default-extensions:
BangPatterns
BinaryLiterals
ConstraintKinds
DataKinds
DefaultSignatures
DeriveDataTypeable
DeriveFoldable
DeriveFunctor
DeriveGeneric
DeriveTraversable
DoAndIfThenElse
EmptyDataDecls
ExistentialQuantification
FlexibleContexts
FlexibleInstances
FunctionalDependencies
GADTs
InstanceSigs
KindSignatures
LambdaCase
MultiParamTypeClasses
MultiWayIf
NamedFieldPuns
OverloadedStrings
PartialTypeSignatures
PatternGuards
PolyKinds
RankNTypes
RecordWildCards
ScopedTypeVariables
StandaloneDeriving
TupleSections
TypeFamilies
TypeSynonymInstances
ViewPatterns
ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wpartial-fields -Wredundant-constraints
build-depends:
base < 5
default-language: GHC2021
test-suite free-alacarte-spec
type: exitcode-stdio-1.0
main-is: Spec.hs
other-modules:
Paths_free_alacarte
Free.AlaCarte.Test
hs-source-dirs:
test
ghc-options: -Wall -threaded -rtsopts "-with-rtsopts=-T -N"
default-extensions:
DataKinds
DefaultSignatures
DuplicateRecordFields
EmptyDataDecls
ExistentialQuantification
FlexibleContexts
FlexibleInstances
FunctionalDependencies
GADTs
InstanceSigs
KindSignatures
LambdaCase
MultiWayIf
NamedFieldPuns
NoImplicitPrelude
OverloadedStrings
PartialTypeSignatures
RecordWildCards
TypeFamilies
ViewPatterns
build-depends:
free-alacarte
, base
, hspec
, QuickCheck
, tasty
, tasty-hspec
, relude
, text
, containers
, time
default-language: GHC2021