constraint 0.1.1.0 → 0.1.1.1

raw patch · 2 files changed

+2/−1 lines, 2 files

Files

Data/Constraint.hs +1/−0
constraint.cabal +1/−1

Data/Constraint.hs view

@@ -5,6 +5,7 @@ import Control.Categorical.Functor import Control.Category import Data.Kind (Constraint)+import Data.Semigroup  data Dict a where Dict :: a => Dict a

constraint.cabal view

@@ -1,5 +1,5 @@ name:                constraint-version:             0.1.1.0+version:             0.1.1.1 synopsis:            Reified constraints -- description:          license:             BSD3