requirements-0.7.0.2: requirements.cabal

-- Initial Require.cabal generated by cabal init.  For further
-- documentation, see http://haskell.org/cabal/users-guide/

name:                requirements
version:             0.7.0.2
synopsis:            Abstraction to manage user defined Type Errors
description:         requirements is a framework to build user-defined type errors.
                     Users condense the arguments of functions that can raise a
                     domain-specific error into a curried data type, the operator.
                     The Require constraint predicates over operators. Ill-formed
                     operators require the Error operator.
license:             GPL-3
license-file:        LICENSE
author:              Juan García-Garland
maintainer:          jpgarcia@fing.edu.uy
-- copyright:
category:            Development
build-type:          Simple
extra-source-files:  CHANGELOG.md
cabal-version:       >=1.10

library
  exposed-modules:     Data.Type.Require
  --other-modules:       Figures, Vector
  other-extensions:  UndecidableInstances  
                  ,  MultiParamTypeClasses 
                  ,  FlexibleContexts      
                  ,  ConstraintKinds       
                  ,  FlexibleInstances     
                  ,  TypeOperators         
                  ,  TypeFamilies          
                  ,  DataKinds             
                  ,  PolyKinds             
                  ,  KindSignatures        
                  ,  GADTs                 
                  ,  TypeApplications      
                  ,  ScopedTypeVariables   

  build-depends:       base >=4.12 && <4.18
  hs-source-dirs:      src
  default-language:    Haskell2010