compound-types-0.1.4.1: compound-types.cabal

name:
  compound-types
version:
  0.1.4.1
category:
  Data, Types, Type System
synopsis:
  Sum and Product types and such
description:
  This library provides first-class multi-arity product- and sum-types and
  neat type-level utilities for their composition.
  The solution is quite simple and doesn’t require the advanced proficiency
  in the language to be applied in practice.
  .
  The library supports GHC starting from version 8.6.1 and
  requires you to enable the @NoStarIsType@ extension.
  .
  For a comprehensive introduction please see 
  <http://nikita-volkov.github.io/first-class-sums-and-products/ this blog post>.
homepage:
  https://github.com/nikita-volkov/compound-types 
bug-reports:
  https://github.com/nikita-volkov/compound-types/issues 
author:
  Nikita Volkov <nikita.y.volkov@mail.ru>
maintainer:
  Nikita Volkov <nikita.y.volkov@mail.ru>
copyright:
  (c) 2016, Nikita Volkov
license:
  MIT
license-file:
  LICENSE
build-type:
  Simple
cabal-version:
  >=1.10


source-repository head
  type:
    git
  location:
    git://github.com/nikita-volkov/compound-types.git


library
  hs-source-dirs:
    library
  ghc-options:
  default-extensions:
    Arrows, BangPatterns, ConstraintKinds, DataKinds, DefaultSignatures, DeriveDataTypeable, DeriveFoldable, DeriveFunctor, DeriveGeneric, DeriveTraversable, EmptyDataDecls, FlexibleContexts, FlexibleInstances, FunctionalDependencies, GADTs, GeneralizedNewtypeDeriving, LambdaCase, LiberalTypeSynonyms, MagicHash, MultiParamTypeClasses, MultiWayIf, NoImplicitPrelude, NoMonomorphismRestriction, OverloadedStrings, PatternGuards, ParallelListComp, QuasiQuotes, RankNTypes, RecordWildCards, ScopedTypeVariables, StandaloneDeriving, TemplateHaskell, TupleSections, TypeFamilies, TypeOperators, UnboxedTuples
  default-language:
    Haskell2010
  other-modules:
    CompoundTypes.Private.Strict.Sum
    CompoundTypes.Private.Strict.Product
    CompoundTypes.Private.Lazy.Sum
    CompoundTypes.Private.Lazy.Product
  exposed-modules:
    CompoundTypes.Strict
    CompoundTypes.Lazy
  build-depends:
    -- general:
    base >= 4.12 && < 5


-- Not a benchmark really.
-- Just a work-around for Cabal issues.
benchmark demo
  type:
    exitcode-stdio-1.0
  hs-source-dirs:
    demo
  main-is:
    Main.hs
  ghc-options:
    -threaded
    "-with-rtsopts=-N"
  default-extensions:
    Arrows, BangPatterns, ConstraintKinds, DataKinds, DefaultSignatures, DeriveDataTypeable, DeriveFoldable, DeriveFunctor, DeriveGeneric, DeriveTraversable, EmptyDataDecls, FlexibleContexts, FlexibleInstances, FunctionalDependencies, GADTs, GeneralizedNewtypeDeriving, LambdaCase, LiberalTypeSynonyms, MagicHash, MultiParamTypeClasses, MultiWayIf, NoImplicitPrelude, NoMonomorphismRestriction, OverloadedStrings, PatternGuards, ParallelListComp, QuasiQuotes, RankNTypes, RecordWildCards, ScopedTypeVariables, StandaloneDeriving, TemplateHaskell, TupleSections, TypeFamilies, TypeOperators, UnboxedTuples
  default-language:
    Haskell2010
  build-depends:
    compound-types,
    base-prelude >= 1 && < 2