vinyl 0.1.1.1 → 0.1.1.2

raw patch · 3 files changed

+1/−6 lines, 3 files

Files

Data/Vinyl/Field.hs +0/−2
Data/Vinyl/Rec.hs +0/−3
vinyl.cabal +1/−1

Data/Vinyl/Field.hs view

@@ -11,8 +11,6 @@  -- | A field contains a key and a type. data (:::) :: Symbol -> * -> * where-  -- | A constructor is given to facilitate introducing fields from terms without-  -- type annotations.   Field :: sy ::: t  instance SingI sy => Show (sy ::: t) where

Data/Vinyl/Rec.hs view

@@ -31,10 +31,7 @@ -- | A record is parameterized by a list of fields and a functor -- to be applied to each of those fields. data Rec :: [*] -> (* -> *) -> * where-  -- | The empty record.   RNil :: Rec '[] f--  -- | Cons for records.   (:&) :: f t -> Rec rs f -> Rec ((sy ::: t) ': rs) f infixr :&

vinyl.cabal view

@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                vinyl-version:             0.1.1.1+version:             0.1.1.2 synopsis:            Extensible Records -- description: license:             MIT