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

name:           typelevel
version:        1.2.2
synopsis:       Useful type level operations (type families and related operators).
category:       Data
stability:      experimental
homepage:       https://github.com/luna/typelevel
bug-reports:    https://github.com/luna/typelevel/issues
author:         Luna Team
maintainer:     Wojciech Danilo <wojciech.danilo@luna-lang.org>
copyright:      Copyright (C) 2018 Luna Team
license:        Apache-2.0
license-file:   LICENSE
build-type:     Simple
cabal-version:  >= 1.10

library
  hs-source-dirs:
      src
  default-extensions: AllowAmbiguousTypes ApplicativeDo BangPatterns BinaryLiterals ConstraintKinds DataKinds DefaultSignatures DeriveDataTypeable DeriveFoldable DeriveFunctor DeriveGeneric DeriveTraversable DoAndIfThenElse DuplicateRecordFields EmptyDataDecls FlexibleContexts FlexibleInstances FunctionalDependencies GADTs GeneralizedNewtypeDeriving InstanceSigs LambdaCase MonadComprehensions MultiWayIf NamedWildCards NegativeLiterals NumDecimals OverloadedLabels PackageImports QuasiQuotes PatternSynonyms RankNTypes RecursiveDo ScopedTypeVariables StandaloneDeriving TemplateHaskell TupleSections TypeApplications TypeFamilies TypeFamilyDependencies TypeOperators UnicodeSyntax ViewPatterns LiberalTypeSynonyms RelaxedPolyRec
  ghc-options: -Wall -O2
  build-depends:
      base >=4.10 && <4.12
    , constraints
    , convert
    , exceptions
    , lens
    , mtl
    , pretty
    , pretty-show
    , primitive
    , transformers
  exposed-modules:
      Constraint.Container.Homo
      Data.Constraint.Struct
      Data.Constraints
      Data.Proxify
      Type.Any
      Type.Applicative
      Type.Bool
      Type.Container
      Type.Either
      Type.Error
      Type.Error_old
      Type.Functor
      Type.Hidden
      Type.Inference
      Type.Known
      Type.List
      Type.Map
      Type.Maybe
      Type.Monoid
      Type.Operators
      Type.Promotion
      Type.Relation
      Type.Sequence
      Type.Set
      Type.Show
      Type.Show_old
      Type.Wrapped
      Type.Zip
  other-modules:
      Paths_typelevel
  default-language: Haskell2010