name: typelevel version: 1.0.1 synopsis: Useful type level operations (type families and related operators). -- description: license: Apache-2.0 license-file: LICENSE author: Wojciech Danilo maintainer: Wojciech Danilo stability: experimental homepage: https://github.com/wdanilo/typelevel bug-reports: https://github.com/wdanilo/typelevel/issues copyright: Copyright (C) 2014 Wojciech Danilo category: Text build-type: Simple -- extra-source-files: cabal-version: >=1.10 Library hs-source-dirs: src ghc-options: -Wall -O2 default-language: Haskell2010 default-extensions: ConstraintKinds DataKinds DefaultSignatures DeriveDataTypeable DeriveFoldable DeriveFunctor DeriveGeneric DeriveTraversable DoAndIfThenElse EmptyDataDecls FlexibleContexts FlexibleInstances GeneralizedNewtypeDeriving InstanceSigs LambdaCase MultiParamTypeClasses OverloadedStrings StandaloneDeriving TemplateHaskell TupleSections TypeOperators ViewPatterns TypeFamilies exposed-modules: Type.Bool , Type.List build-depends: base >=4.6 && <4.9