ty 0.1.4 → 0.1.5

raw patch · 3 files changed

+4/−3 lines, 3 filesdep ~base

Dependency ranges changed: base

Files

• src/Data/IsTy.hs +1/−1
• src/Data/Ty.hs +2/−1
• ty.cabal +1/−1

@@ -14,7 +14,7 @@ -- Type class for typed type representations ---------------------------------------------------------------------- -module Data.IsTy (IsTy(..),IsTy2(..)) where+module Data.IsTy (IsTy(..),IsTy2(..),Yes,Yes2) where  import GHC.Prim (Constraint) 

@@ -1,4 +1,4 @@-{-# LANGUAGE TypeOperators, ScopedTypeVariables #-}+{-# LANGUAGE TypeOperators, TypeFamilies, ScopedTypeVariables #-} {-# LANGUAGE GADTs, PatternGuards #-} {-# LANGUAGE KindSignatures #-} -- AsPairTy @@ -35,6 +35,7 @@ instance Show (Ty a) where show = show . tyRep  instance IsTy Ty where+  type IsTyConstraint Ty z = Yes Ty z   Ty a `tyEq` Ty b | a == b    = unsafeCoerce (Just Refl)                    | otherwise = Nothing 

@@ -1,5 +1,5 @@ Name:                ty-Version:             0.1.4+Version:             0.1.5 Synopsis:            Typed type representations and equality proofs Category:            Data Cabal-Version:       >= 1.6