name:
  type-structure
version:
  0.1.1
synopsis:
  Type structure analysis
description:
  Provides facilities to match type structures.

  Useful for checking protocol compliance in client-server applications.
category:
  Data
homepage:
  https://github.com/nikita-volkov/type-structure 
bug-reports:
  https://github.com/nikita-volkov/type-structure/issues 
author:
  Nikita Volkov <nikita.y.volkov@mail.ru>
maintainer:
  Nikita Volkov <nikita.y.volkov@mail.ru>
copyright:
  (c) 2014, 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/type-structure.git


library
  hs-source-dirs:
    src
  other-modules:
    TypeStructure.TH.Model
    TypeStructure.TH.Template
    TypeStructure.TH
    TypeStructure.Model
    TypeStructure.Class
    TypeStructure.Prelude.Basic
    TypeStructure.Prelude.Data
    TypeStructure.Prelude.Transformers
    TypeStructure.Prelude.TH
  exposed-modules:
    TypeStructure
  build-depends:
    -- data:
    time,
    vector,
    array,
    bytestring,
    text,
    hashable,
    unordered-containers,
    containers,
    -- control:
    transformers,
    mtl,
    -- debugging:
    loch-th == 0.2.*,
    placeholders == 0.1.*,
    -- template-haskell:
    th-instance-reification > 0.1.0 && < 0.2,
    template-haskell,
    -- general:
    base >= 4.5 && < 5
  default-extensions:
    Arrows
    BangPatterns
    ConstraintKinds
    DataKinds
    DefaultSignatures
    DeriveDataTypeable
    DeriveGeneric
    EmptyDataDecls
    FlexibleContexts
    FlexibleInstances
    FunctionalDependencies
    GADTs
    GeneralizedNewtypeDeriving
    ImpredicativeTypes
    LambdaCase
    LiberalTypeSynonyms
    MultiParamTypeClasses
    MultiWayIf
    NoImplicitPrelude
    NoMonomorphismRestriction
    OverloadedStrings
    PatternGuards
    QuasiQuotes
    RankNTypes
    RecordWildCards
    ScopedTypeVariables
    StandaloneDeriving
    TemplateHaskell
    TupleSections
    TypeFamilies
    TypeOperators
  default-language:
    Haskell2010


test-suite type-structure-htf-test-suite
  type:             
    exitcode-stdio-1.0
  hs-source-dirs:   
    src
  main-is:          
    HTFTestSuite.hs
  ghc-options:
    -threaded
    "-with-rtsopts=-N"
  build-depends:
    -- testing:
    quickcheck-instances,
    QuickCheck-GenT == 0.1.*,
    QuickCheck,
    HUnit,
    HTF == 0.11.*,
    -- data:
    time,
    vector,
    array,
    bytestring,
    text,
    hashable,
    unordered-containers,
    containers,
    -- control:
    transformers,
    mtl,
    -- debugging:
    loch-th == 0.2.*,
    placeholders == 0.1.*,
    -- template-haskell:
    th-instance-reification > 0.1.0 && < 0.2,
    template-haskell,
    -- general:
    base >= 4.5 && < 5
  default-extensions:
    Arrows
    BangPatterns
    ConstraintKinds
    DataKinds
    DefaultSignatures
    DeriveDataTypeable
    DeriveGeneric
    EmptyDataDecls
    FlexibleContexts
    FlexibleInstances
    FunctionalDependencies
    GADTs
    GeneralizedNewtypeDeriving
    ImpredicativeTypes
    LambdaCase
    LiberalTypeSynonyms
    MultiParamTypeClasses
    MultiWayIf
    NoImplicitPrelude
    NoMonomorphismRestriction
    OverloadedStrings
    PatternGuards
    QuasiQuotes
    RankNTypes
    RecordWildCards
    ScopedTypeVariables
    StandaloneDeriving
    TemplateHaskell
    TupleSections
    TypeFamilies
    TypeOperators
  default-language:
    Haskell2010