type-unary 0.1.0 → 0.1.1

raw patch · 2 files changed

+11/−6 lines, 2 filesdep −TypeComposedep −functor-comboPVP ok

version bump matches the API change (PVP)

Dependencies removed: TypeCompose, functor-combo

API changes (from Hackage documentation)

Files

• src/TypeUnary/Vec.hs +7/−2
• type-unary.cabal +4/−4

@@ -51,8 +51,6 @@ import Foreign.Storable import Foreign.Ptr (Ptr,plusPtr,castPtr) -import Control.Compose (result)- import Data.VectorSpace  import Data.Proof.EQ@@ -496,3 +494,10 @@ --                TypeUnary.Vec.take :: IsNat n => Vec (n :+: m) a -> Vec n a --     at /Users/conal/Haskell/type-unary/src/TypeUnary/Vec.hs:488:1-18 --   NB: `:+:' is a type function, and may not be injective++{--------------------------------------------------------------------+    Misc+--------------------------------------------------------------------}++result :: (b -> b') -> ((a -> b) -> (a -> b'))+result = (.)

@@ -1,7 +1,8 @@ Name:                type-unary-Version:             0.1.0+Version:             0.1.1 Cabal-Version:       >= 1.2-Synopsis:            Type-level and typed unary natural numbers, vectors, inequality proofs+Synopsis:            +  Type-level and typed unary natural numbers, vectors, inequality proofs Category:            Data Description:   Type-level and value-typed unary natural numbers, plus length-typed@@ -19,8 +20,7 @@ Library   hs-Source-Dirs:      src   Extensions:-  Build-Depends:       base >=4 && < 5, functor-combo, TypeCompose-                     , ty, vector-space+  Build-Depends:       base >=4 && < 5, ty, vector-space   Exposed-Modules:     TypeUnary.Vec                           ghc-options:         -Wall