name: refined version: 0.1.2.1 synopsis: Refinement types with static and runtime checking description: For an extensive introduction to the library please follow to . category: Data homepage: https://github.com/nikita-volkov/refined bug-reports: https://github.com/nikita-volkov/refined/issues author: Nikita Volkov maintainer: Nikita Volkov copyright: (c) 2015, 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/refined.git library hs-source-dirs: library other-modules: exposed-modules: Refined ghc-options: -funbox-strict-fields default-extensions: Arrows, BangPatterns, ConstraintKinds, DataKinds, DefaultSignatures, DeriveDataTypeable, DeriveFoldable, DeriveFunctor, DeriveGeneric, DeriveTraversable, EmptyDataDecls, FlexibleContexts, FlexibleInstances, FunctionalDependencies, GADTs, GeneralizedNewtypeDeriving, LambdaCase, LiberalTypeSynonyms, MultiParamTypeClasses, MultiWayIf, NoImplicitPrelude, NoMonomorphismRestriction, OverloadedStrings, PatternGuards, ParallelListComp, QuasiQuotes, RankNTypes, RecordWildCards, ScopedTypeVariables, StandaloneDeriving, TemplateHaskell, TupleSections, TypeFamilies, TypeOperators default-language: Haskell2010 build-depends: template-haskell >= 2.9 && < 3, base-prelude >= 0.1.19 && < 2, base >= 4.7 && < 5