static 0.1.0.0 → 0.1.0.1
raw patch · 7 files changed
+70/−62 lines, 7 filesdep −checkersdep −lensdep −tasty-quickcheck
Dependencies removed: checkers, lens, tasty-quickcheck
Files
- CHANGELOG.md +4/−0
- src/Control/Static/Closure.hs +15/−14
- src/Control/Static/Common.hs +17/−16
- src/Control/Static/Serialise.hs +14/−13
- src/Control/Static/Static.hs +14/−13
- static.cabal +4/−6
- test/Control/Static/UnitTests.hs +2/−0
CHANGELOG.md view
@@ -1,5 +1,9 @@ # Revision history for static +## 0.1.0.1 -- 2020-05-29++* Update to GHC 8.10.1+ ## 0.1.0.0 -- 2020-05-17 * Initial release.
src/Control/Static/Closure.hs view
@@ -1,17 +1,18 @@-{-# LANGUAGE AllowAmbiguousTypes #-}-{-# LANGUAGE ConstraintKinds #-}-{-# LANGUAGE DataKinds #-}-{-# LANGUAGE FlexibleContexts #-}-{-# LANGUAGE FlexibleInstances #-}-{-# LANGUAGE GADTs #-}-{-# LANGUAGE MultiParamTypeClasses #-}-{-# LANGUAGE PolyKinds #-}-{-# LANGUAGE RankNTypes #-}-{-# LANGUAGE ScopedTypeVariables #-}-{-# LANGUAGE TemplateHaskell #-}-{-# LANGUAGE TypeApplications #-}-{-# LANGUAGE TypeFamilies #-}-{-# LANGUAGE TypeOperators #-}+{-# LANGUAGE AllowAmbiguousTypes #-}+{-# LANGUAGE ConstraintKinds #-}+{-# LANGUAGE DataKinds #-}+{-# LANGUAGE FlexibleContexts #-}+{-# LANGUAGE FlexibleInstances #-}+{-# LANGUAGE GADTs #-}+{-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE PolyKinds #-}+{-# LANGUAGE RankNTypes #-}+{-# LANGUAGE ScopedTypeVariables #-}+{-# LANGUAGE StandaloneKindSignatures #-}+{-# LANGUAGE TemplateHaskell #-}+{-# LANGUAGE TypeApplications #-}+{-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} module Control.Static.Closure where
src/Control/Static/Common.hs view
@@ -1,18 +1,19 @@-{-# LANGUAGE AllowAmbiguousTypes #-}-{-# LANGUAGE ConstraintKinds #-}-{-# LANGUAGE DataKinds #-}-{-# LANGUAGE FlexibleContexts #-}-{-# LANGUAGE FlexibleInstances #-}-{-# LANGUAGE GADTs #-}-{-# LANGUAGE MultiParamTypeClasses #-}-{-# LANGUAGE PolyKinds #-}-{-# LANGUAGE RankNTypes #-}-{-# LANGUAGE ScopedTypeVariables #-}-{-# LANGUAGE TemplateHaskell #-}-{-# LANGUAGE TypeApplications #-}-{-# LANGUAGE TypeFamilies #-}-{-# LANGUAGE TypeOperators #-}-{-# LANGUAGE UndecidableInstances #-}+{-# LANGUAGE AllowAmbiguousTypes #-}+{-# LANGUAGE ConstraintKinds #-}+{-# LANGUAGE DataKinds #-}+{-# LANGUAGE FlexibleContexts #-}+{-# LANGUAGE FlexibleInstances #-}+{-# LANGUAGE GADTs #-}+{-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE PolyKinds #-}+{-# LANGUAGE RankNTypes #-}+{-# LANGUAGE ScopedTypeVariables #-}+{-# LANGUAGE StandaloneKindSignatures #-}+{-# LANGUAGE TemplateHaskell #-}+{-# LANGUAGE TypeApplications #-}+{-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-}+{-# LANGUAGE UndecidableInstances #-} module Control.Static.Common where @@ -150,7 +151,7 @@ -- | Maybe that carries its type.-data TMaybe (t :: Maybe k) where+data TMaybe :: forall k. Maybe k -> Type where TNothing :: TMaybe 'Nothing TJust :: !t -> TMaybe ('Just t)
src/Control/Static/Serialise.hs view
@@ -1,16 +1,17 @@-{-# LANGUAGE ConstraintKinds #-}-{-# LANGUAGE DataKinds #-}-{-# LANGUAGE DeriveAnyClass #-}-{-# LANGUAGE DeriveFunctor #-}-{-# LANGUAGE DeriveGeneric #-}-{-# LANGUAGE FlexibleInstances #-}-{-# LANGUAGE GADTs #-}-{-# LANGUAGE MultiParamTypeClasses #-}-{-# LANGUAGE PolyKinds #-}-{-# LANGUAGE RankNTypes #-}-{-# LANGUAGE ScopedTypeVariables #-}-{-# LANGUAGE TemplateHaskell #-}-{-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE ConstraintKinds #-}+{-# LANGUAGE DataKinds #-}+{-# LANGUAGE DeriveAnyClass #-}+{-# LANGUAGE DeriveFunctor #-}+{-# LANGUAGE DeriveGeneric #-}+{-# LANGUAGE FlexibleInstances #-}+{-# LANGUAGE GADTs #-}+{-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE PolyKinds #-}+{-# LANGUAGE RankNTypes #-}+{-# LANGUAGE ScopedTypeVariables #-}+{-# LANGUAGE StandaloneKindSignatures #-}+{-# LANGUAGE TemplateHaskell #-}+{-# LANGUAGE TypeFamilies #-} module Control.Static.Serialise where
src/Control/Static/Static.hs view
@@ -1,16 +1,17 @@-{-# LANGUAGE AllowAmbiguousTypes #-}-{-# LANGUAGE ConstraintKinds #-}-{-# LANGUAGE DataKinds #-}-{-# LANGUAGE DeriveFunctor #-}-{-# LANGUAGE GADTs #-}-{-# LANGUAGE PolyKinds #-}-{-# LANGUAGE RankNTypes #-}-{-# LANGUAGE ScopedTypeVariables #-}-{-# LANGUAGE TemplateHaskell #-}-{-# LANGUAGE TypeApplications #-}-{-# LANGUAGE TypeFamilies #-}-{-# LANGUAGE TypeOperators #-}-{-# LANGUAGE UndecidableInstances #-}+{-# LANGUAGE AllowAmbiguousTypes #-}+{-# LANGUAGE ConstraintKinds #-}+{-# LANGUAGE DataKinds #-}+{-# LANGUAGE DeriveFunctor #-}+{-# LANGUAGE GADTs #-}+{-# LANGUAGE PolyKinds #-}+{-# LANGUAGE RankNTypes #-}+{-# LANGUAGE ScopedTypeVariables #-}+{-# LANGUAGE StandaloneKindSignatures #-}+{-# LANGUAGE TemplateHaskell #-}+{-# LANGUAGE TypeApplications #-}+{-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-}+{-# LANGUAGE UndecidableInstances #-} module Control.Static.Static where
static.cabal view
@@ -1,6 +1,6 @@ Cabal-Version: 3.0 Name: static-Version: 0.1.0.0+Version: 0.1.0.1 Synopsis: Type-safe and interoperable static values and closures Description: Serialise closures in a type-safe way that interoperates across binaries.@@ -105,7 +105,7 @@ Maintainer: infinity0@pwned.gg Copyright: 2020 Ximin Luo Category: Control, Static, Closure-Tested-With: GHC >= 8.8.3+Tested-With: GHC >= 8.10.1 Extra-Source-Files: CHANGELOG.md Source-Repository head@@ -122,10 +122,12 @@ Build-Depends: base >= 4 && < 5, GHC-Options: -Wall+ -Wcompat -Wno-unused-matches -Wredundant-constraints -Wincomplete-record-updates -Wincomplete-uni-patterns+ -Wunused-packages if flag(dev) GHC-Options: -Werror@@ -161,7 +163,6 @@ GHC-Options: -threaded Build-Depends: doctest- , static HS-Source-Dirs: test Type: exitcode-stdio-1.0 Main-Is: DocTests.hs@@ -171,11 +172,8 @@ GHC-Options: -threaded Build-Depends: tasty- , tasty-quickcheck , tasty-hunit- , checkers , static- , lens , mtl , transformers HS-Source-Dirs: test
test/Control/Static/UnitTests.hs view
@@ -13,6 +13,8 @@ {-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE TypeApplications #-} +{-# OPTIONS_GHC -Wno-error=incomplete-uni-patterns #-}+ module Control.Static.UnitTests where -- external, testing