unique-logic-tf 0.5.1 → 0.5.1.1
raw patch · 1 files changed
+13/−11 lines, 1 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- UniqueLogic.ST.TF.Example.Label: constant :: C s => Rational -> T Assigns s (Variable s)
+ UniqueLogic.ST.TF.Example.Label: constant :: forall (s :: Type -> Type). C s => Rational -> T Assigns s (Variable s)
- UniqueLogic.ST.TF.Example.Label: type Variable s = Variable Assigns s T
+ UniqueLogic.ST.TF.Example.Label: type Variable (s :: Type -> Type) = Variable Assigns s T
- UniqueLogic.ST.TF.Example.Verify: Track :: ExceptT Exception (WriterT Assigns m) a -> Track m a
+ UniqueLogic.ST.TF.Example.Verify: Track :: ExceptT Exception (WriterT Assigns m) a -> Track (m :: Type -> Type) a
- UniqueLogic.ST.TF.Example.Verify: [runTrack] :: Track m a -> ExceptT Exception (WriterT Assigns m) a
+ UniqueLogic.ST.TF.Example.Verify: [runTrack] :: Track (m :: Type -> Type) a -> ExceptT Exception (WriterT Assigns m) a
- UniqueLogic.ST.TF.Example.Verify: inconsistency :: Monad m => Maybe Name -> TrackedNumber Rational -> TrackedNumber Rational -> Wrap Track m ()
+ UniqueLogic.ST.TF.Example.Verify: inconsistency :: forall (m :: Type -> Type). Monad m => Maybe Name -> TrackedNumber Rational -> TrackedNumber Rational -> Wrap Track m ()
- UniqueLogic.ST.TF.Example.Verify: logUpdate :: (Real a, C s) => Name -> MaybeT s (TrackedNumber a) -> MaybeT (Wrap Track s) (TrackedNumber a)
+ UniqueLogic.ST.TF.Example.Verify: logUpdate :: forall a (s :: Type -> Type). (Real a, C s) => Name -> MaybeT s (TrackedNumber a) -> MaybeT (Wrap Track s) (TrackedNumber a)
- UniqueLogic.ST.TF.Example.Verify: newtype Track m a
+ UniqueLogic.ST.TF.Example.Verify: newtype Track (m :: Type -> Type) a
- UniqueLogic.ST.TF.Example.Verify: type Variable s = Variable Track s (TrackedNumber Rational)
+ UniqueLogic.ST.TF.Example.Verify: type Variable (s :: Type -> Type) = Variable Track s TrackedNumber Rational
- UniqueLogic.ST.TF.Expression: (=!=) :: (C w, C s) => T w s a -> T w s a -> T w s a
+ UniqueLogic.ST.TF.Expression: (=!=) :: forall (w :: (Type -> Type) -> Type -> Type) (s :: Type -> Type) a. (C w, C s) => T w s a -> T w s a -> T w s a
- UniqueLogic.ST.TF.Expression: (=:=) :: (C w, C s) => T w s a -> T w s a -> T w s ()
+ UniqueLogic.ST.TF.Expression: (=:=) :: forall (w :: (Type -> Type) -> Type -> Type) (s :: Type -> Type) a. (C w, C s) => T w s a -> T w s a -> T w s ()
- UniqueLogic.ST.TF.Expression: arg :: T w s a -> Apply w s (Variable w s a)
+ UniqueLogic.ST.TF.Expression: arg :: forall (w :: (Type -> Type) -> Type -> Type) (s :: Type -> Type) a. T w s a -> Apply w s (Variable w s a)
- UniqueLogic.ST.TF.Expression: constant :: (C w, Value w a, C s) => a -> T w s a
+ UniqueLogic.ST.TF.Expression: constant :: forall (w :: (Type -> Type) -> Type -> Type) a (s :: Type -> Type). (C w, Value w a, C s) => a -> T w s a
- UniqueLogic.ST.TF.Expression: data Apply w s f
+ UniqueLogic.ST.TF.Expression: data Apply (w :: Type -> Type -> Type -> Type) (s :: Type -> Type) f
- UniqueLogic.ST.TF.Expression: data T w s a
+ UniqueLogic.ST.TF.Expression: data T (w :: Type -> Type -> Type -> Type) (s :: Type -> Type) a
- UniqueLogic.ST.TF.Expression: fromRule1 :: (C w, Value w a, C s) => (Variable w s a -> T w s ()) -> T w s a
+ UniqueLogic.ST.TF.Expression: fromRule1 :: forall (w :: (Type -> Type) -> Type -> Type) a (s :: Type -> Type). (C w, Value w a, C s) => (Variable w s a -> T w s ()) -> T w s a
- UniqueLogic.ST.TF.Expression: fromRule2 :: (C w, Value w b, C s) => (Variable w s a -> Variable w s b -> T w s ()) -> T w s a -> T w s b
+ UniqueLogic.ST.TF.Expression: fromRule2 :: forall (w :: (Type -> Type) -> Type -> Type) b (s :: Type -> Type) a. (C w, Value w b, C s) => (Variable w s a -> Variable w s b -> T w s ()) -> T w s a -> T w s b
- UniqueLogic.ST.TF.Expression: fromRule3 :: (C w, Value w c, C s) => (Variable w s a -> Variable w s b -> Variable w s c -> T w s ()) -> T w s a -> T w s b -> T w s c
+ UniqueLogic.ST.TF.Expression: fromRule3 :: forall (w :: (Type -> Type) -> Type -> Type) c (s :: Type -> Type) a b. (C w, Value w c, C s) => (Variable w s a -> Variable w s b -> Variable w s c -> T w s ()) -> T w s a -> T w s b -> T w s c
- UniqueLogic.ST.TF.Expression: fromVariable :: C s => Variable w s a -> T w s a
+ UniqueLogic.ST.TF.Expression: fromVariable :: forall (s :: Type -> Type) (w :: (Type -> Type) -> Type -> Type) a. C s => Variable w s a -> T w s a
- UniqueLogic.ST.TF.Expression: max :: (C w, Ord a, Value w a, C s) => T w s a -> T w s a -> T w s a
+ UniqueLogic.ST.TF.Expression: max :: forall (w :: (Type -> Type) -> Type -> Type) a (s :: Type -> Type). (C w, Ord a, Value w a, C s) => T w s a -> T w s a -> T w s a
- UniqueLogic.ST.TF.Expression: maximum :: (C w, Ord a, Value w a, C s) => [T w s a] -> T w s a
+ UniqueLogic.ST.TF.Expression: maximum :: forall (w :: (Type -> Type) -> Type -> Type) a (s :: Type -> Type). (C w, Ord a, Value w a, C s) => [T w s a] -> T w s a
- UniqueLogic.ST.TF.Expression: pair :: (C w, Value w a, Value w b, Value w (a, b), C s) => T w s a -> T w s b -> T w s (a, b)
+ UniqueLogic.ST.TF.Expression: pair :: forall (w :: (Type -> Type) -> Type -> Type) a b (s :: Type -> Type). (C w, Value w a, Value w b, Value w (a, b), C s) => T w s a -> T w s b -> T w s (a, b)
- UniqueLogic.ST.TF.Expression: runApply :: (C w, Value w a, C s) => Apply w s (Variable w s a -> T w s ()) -> T w s a
+ UniqueLogic.ST.TF.Expression: runApply :: forall (w :: (Type -> Type) -> Type -> Type) a (s :: Type -> Type). (C w, Value w a, C s) => Apply w s (Variable w s a -> T w s ()) -> T w s a
- UniqueLogic.ST.TF.Expression: sqr :: (C w, Value w a, Floating a, C s) => T w s a -> T w s a
+ UniqueLogic.ST.TF.Expression: sqr :: forall (w :: (Type -> Type) -> Type -> Type) a (s :: Type -> Type). (C w, Value w a, Floating a, C s) => T w s a -> T w s a
- UniqueLogic.ST.TF.Expression: sqrt :: (C w, Value w a, Floating a, C s) => T w s a -> T w s a
+ UniqueLogic.ST.TF.Expression: sqrt :: forall (w :: (Type -> Type) -> Type -> Type) a (s :: Type -> Type). (C w, Value w a, Floating a, C s) => T w s a -> T w s a
- UniqueLogic.ST.TF.MonadTrans: Wrap :: Const (t m a) (m a) -> Wrap t m a
+ UniqueLogic.ST.TF.MonadTrans: Wrap :: Const (t m a) (m a) -> Wrap (t :: (Type -> Type) -> Type -> Type) (m :: Type -> Type) a
- UniqueLogic.ST.TF.MonadTrans: bind :: (C t, Monad m) => t m a -> (a -> t m b) -> t m b
+ UniqueLogic.ST.TF.MonadTrans: bind :: forall (m :: Type -> Type) a b. (C t, Monad m) => t m a -> (a -> t m b) -> t m b
- UniqueLogic.ST.TF.MonadTrans: class MonadTrans t => C t
+ UniqueLogic.ST.TF.MonadTrans: class MonadTrans t => C (t :: Type -> Type -> Type -> Type)
- UniqueLogic.ST.TF.MonadTrans: lift :: (C t, Monad m) => m a -> Wrap t m a
+ UniqueLogic.ST.TF.MonadTrans: lift :: forall (t :: (Type -> Type) -> Type -> Type) m a. (C t, Monad m) => m a -> Wrap t m a
- UniqueLogic.ST.TF.MonadTrans: newtype Wrap t m a
+ UniqueLogic.ST.TF.MonadTrans: newtype Wrap (t :: Type -> Type -> Type -> Type) (m :: Type -> Type) a
- UniqueLogic.ST.TF.MonadTrans: point :: (C t, Monad m) => a -> t m a
+ UniqueLogic.ST.TF.MonadTrans: point :: forall (m :: Type -> Type) a. (C t, Monad m) => a -> t m a
- UniqueLogic.ST.TF.MonadTrans: unwrap :: Wrap t m a -> t m a
+ UniqueLogic.ST.TF.MonadTrans: unwrap :: forall t (m :: Type -> Type) a. Wrap t m a -> t m a
- UniqueLogic.ST.TF.MonadTrans: wrap :: t m a -> Wrap t m a
+ UniqueLogic.ST.TF.MonadTrans: wrap :: forall t (m :: Type -> Type) a. t m a -> Wrap t m a
- UniqueLogic.ST.TF.Rule: add :: (Num a, C w, C s) => Variable w s a -> Variable w s a -> Variable w s a -> T w s ()
+ UniqueLogic.ST.TF.Rule: add :: forall a (w :: (Type -> Type) -> Type -> Type) (s :: Type -> Type). (Num a, C w, C s) => Variable w s a -> Variable w s a -> Variable w s a -> T w s ()
- UniqueLogic.ST.TF.Rule: equ :: (C w, C s) => Variable w s a -> Variable w s a -> T w s ()
+ UniqueLogic.ST.TF.Rule: equ :: forall (w :: (Type -> Type) -> Type -> Type) (s :: Type -> Type) a. (C w, C s) => Variable w s a -> Variable w s a -> T w s ()
- UniqueLogic.ST.TF.Rule: generic2 :: (C w, C s) => (b -> a) -> (a -> b) -> Variable w s a -> Variable w s b -> T w s ()
+ UniqueLogic.ST.TF.Rule: generic2 :: forall (w :: (Type -> Type) -> Type -> Type) (s :: Type -> Type) b a. (C w, C s) => (b -> a) -> (a -> b) -> Variable w s a -> Variable w s b -> T w s ()
- UniqueLogic.ST.TF.Rule: generic3 :: (C w, C s) => (b -> c -> a) -> (c -> a -> b) -> (a -> b -> c) -> Variable w s a -> Variable w s b -> Variable w s c -> T w s ()
+ UniqueLogic.ST.TF.Rule: generic3 :: forall (w :: (Type -> Type) -> Type -> Type) (s :: Type -> Type) b c a. (C w, C s) => (b -> c -> a) -> (c -> a -> b) -> (a -> b -> c) -> Variable w s a -> Variable w s b -> Variable w s c -> T w s ()
- UniqueLogic.ST.TF.Rule: max :: (Ord a, C w, C s) => Variable w s a -> Variable w s a -> Variable w s a -> T w s ()
+ UniqueLogic.ST.TF.Rule: max :: forall a (w :: (Type -> Type) -> Type -> Type) (s :: Type -> Type). (Ord a, C w, C s) => Variable w s a -> Variable w s a -> Variable w s a -> T w s ()
- UniqueLogic.ST.TF.Rule: mul :: (C a, C w, C s) => Variable w s a -> Variable w s a -> Variable w s a -> T w s ()
+ UniqueLogic.ST.TF.Rule: mul :: forall a (w :: (Type -> Type) -> Type -> Type) (s :: Type -> Type). (C a, C w, C s) => Variable w s a -> Variable w s a -> Variable w s a -> T w s ()
- UniqueLogic.ST.TF.Rule: pair :: (C w, C s) => Variable w s a -> Variable w s b -> Variable w s (a, b) -> T w s ()
+ UniqueLogic.ST.TF.Rule: pair :: forall (w :: (Type -> Type) -> Type -> Type) (s :: Type -> Type) a b. (C w, C s) => Variable w s a -> Variable w s b -> Variable w s (a, b) -> T w s ()
- UniqueLogic.ST.TF.Rule: pow :: (Floating a, C w, C s) => Variable w s a -> Variable w s a -> Variable w s a -> T w s ()
+ UniqueLogic.ST.TF.Rule: pow :: forall a (w :: (Type -> Type) -> Type -> Type) (s :: Type -> Type). (Floating a, C w, C s) => Variable w s a -> Variable w s a -> Variable w s a -> T w s ()
- UniqueLogic.ST.TF.Rule: square :: (Floating a, C w, C s) => Variable w s a -> Variable w s a -> T w s ()
+ UniqueLogic.ST.TF.Rule: square :: forall a (w :: (Type -> Type) -> Type -> Type) (s :: Type -> Type). (Floating a, C w, C s) => Variable w s a -> Variable w s a -> T w s ()
- UniqueLogic.ST.TF.System: arg :: Variable w s a -> Apply w s a
+ UniqueLogic.ST.TF.System: arg :: forall (w :: (Type -> Type) -> Type -> Type) (s :: Type -> Type) a. Variable w s a -> Apply w s a
- UniqueLogic.ST.TF.System: assignment2 :: (C w, C s) => (a -> b) -> Variable w s a -> Variable w s b -> T w s ()
+ UniqueLogic.ST.TF.System: assignment2 :: forall (w :: (Type -> Type) -> Type -> Type) (s :: Type -> Type) a b. (C w, C s) => (a -> b) -> Variable w s a -> Variable w s b -> T w s ()
- UniqueLogic.ST.TF.System: assignment3 :: (C w, C s) => (a -> b -> c) -> Variable w s a -> Variable w s b -> Variable w s c -> T w s ()
+ UniqueLogic.ST.TF.System: assignment3 :: forall (w :: (Type -> Type) -> Type -> Type) (s :: Type -> Type) a b c. (C w, C s) => (a -> b -> c) -> Variable w s a -> Variable w s b -> Variable w s c -> T w s ()
- UniqueLogic.ST.TF.System: break :: (Fragile t, Monad m) => Wrap t m a
+ UniqueLogic.ST.TF.System: break :: forall (m :: Type -> Type) a. (Fragile t, Monad m) => Wrap t m a
- UniqueLogic.ST.TF.System: class C w => C w
+ UniqueLogic.ST.TF.System: class C w => C (w :: Type -> Type -> Type -> Type)
- UniqueLogic.ST.TF.System: class C t => Fragile t
+ UniqueLogic.ST.TF.System: class C t => Fragile (t :: Type -> Type -> Type -> Type)
- UniqueLogic.ST.TF.System: class C w => Value w a
+ UniqueLogic.ST.TF.System: class C w => Value (w :: Type -> Type -> Type -> Type) a
- UniqueLogic.ST.TF.System: constant :: (C w, Value w a, C s) => a -> T w s (Variable w s a)
+ UniqueLogic.ST.TF.System: constant :: forall (w :: (Type -> Type) -> Type -> Type) a (s :: Type -> Type). (C w, Value w a, C s) => a -> T w s (Variable w s a)
- UniqueLogic.ST.TF.System: data Apply w s a
+ UniqueLogic.ST.TF.System: data Apply (w :: Type -> Type -> Type -> Type) (s :: Type -> Type) a
- UniqueLogic.ST.TF.System: data T w s a
+ UniqueLogic.ST.TF.System: data T (w :: Type -> Type -> Type -> Type) (s :: Type -> Type) a
- UniqueLogic.ST.TF.System: data Variable w s a
+ UniqueLogic.ST.TF.System: data Variable (w :: Type -> Type -> Type -> Type) (s :: Type -> Type) a
- UniqueLogic.ST.TF.System: data family ValueConstraint w a :: *
+ UniqueLogic.ST.TF.System: data family ValueConstraint (w :: Type -> Type -> Type -> Type) a
- UniqueLogic.ST.TF.System: globalVariable :: (C w, Value w a, C s) => SimpleUpdater w s a -> s (Variable w s a)
+ UniqueLogic.ST.TF.System: globalVariable :: forall (w :: (Type -> Type) -> Type -> Type) a s. (C w, Value w a, C s) => SimpleUpdater w s a -> s (Variable w s a)
- UniqueLogic.ST.TF.System: localVariable :: (C w, Value w a, C s) => T w s (Variable w s a)
+ UniqueLogic.ST.TF.System: localVariable :: forall (w :: (Type -> Type) -> Type -> Type) a (s :: Type -> Type). (C w, Value w a, C s) => T w s (Variable w s a)
- UniqueLogic.ST.TF.System: query :: Variable w s a -> s (Maybe a)
+ UniqueLogic.ST.TF.System: query :: forall (w :: (Type -> Type) -> Type -> Type) s a. Variable w s a -> s (Maybe a)
- UniqueLogic.ST.TF.System: runApply :: (C w, C s) => Apply w s a -> Variable w s a -> T w s ()
+ UniqueLogic.ST.TF.System: runApply :: forall (w :: (Type -> Type) -> Type -> Type) (s :: Type -> Type) a. (C w, C s) => Apply w s a -> Variable w s a -> T w s ()
- UniqueLogic.ST.TF.System: runApplyM :: (C w, C s) => Apply w s (s a) -> Variable w s a -> T w s ()
+ UniqueLogic.ST.TF.System: runApplyM :: forall (w :: (Type -> Type) -> Type -> Type) s a. (C w, C s) => Apply w s (s a) -> Variable w s a -> T w s ()
- UniqueLogic.ST.TF.System: runApplyMaybe :: (C w, C s) => Apply w s (Maybe a) -> Variable w s a -> T w s ()
+ UniqueLogic.ST.TF.System: runApplyMaybe :: forall (w :: (Type -> Type) -> Type -> Type) (s :: Type -> Type) a. (C w, C s) => Apply w s (Maybe a) -> Variable w s a -> T w s ()
- UniqueLogic.ST.TF.System: simpleUpdate :: (C w, Value w a, C s) => SimpleUpdater w s a
+ UniqueLogic.ST.TF.System: simpleUpdate :: forall (w :: (Type -> Type) -> Type -> Type) a (s :: Type -> Type). (C w, Value w a, C s) => SimpleUpdater w s a
- UniqueLogic.ST.TF.System: solve :: (C w, C s) => T w s a -> w s a
+ UniqueLogic.ST.TF.System: solve :: forall w (s :: Type -> Type) a. (C w, C s) => T w s a -> w s a
- UniqueLogic.ST.TF.System: solveBreadthFirst :: (C w, C s) => T w s a -> w s a
+ UniqueLogic.ST.TF.System: solveBreadthFirst :: forall w (s :: Type -> Type) a. (C w, C s) => T w s a -> w s a
- UniqueLogic.ST.TF.System: solveDepthFirst :: (C w, C s) => T w s a -> w s a
+ UniqueLogic.ST.TF.System: solveDepthFirst :: forall w (s :: Type -> Type) a. (C w, C s) => T w s a -> w s a
- UniqueLogic.ST.TF.System: update :: (C w, Value w a, C s) => Updater w s a
+ UniqueLogic.ST.TF.System: update :: forall a (s :: Type -> Type). (C w, Value w a, C s) => Updater w s a
- UniqueLogic.ST.TF.System: updateAndCheck :: (C w, C s) => (a -> a -> Wrap w s ()) -> Updater w s a
+ UniqueLogic.ST.TF.System: updateAndCheck :: forall (w :: (Type -> Type) -> Type -> Type) (s :: Type -> Type) a. (C w, C s) => (a -> a -> Wrap w s ()) -> Updater w s a
- UniqueLogic.ST.TF.System: updateIfNew :: (C w, C s) => Updater w s a
+ UniqueLogic.ST.TF.System: updateIfNew :: forall (w :: (Type -> Type) -> Type -> Type) (s :: Type -> Type) a. (C w, C s) => Updater w s a
- UniqueLogic.ST.TF.System: valueConstraint :: Value w a => T s (Updates w s) -> T s (Maybe a) -> ValueConstraint w a
+ UniqueLogic.ST.TF.System: valueConstraint :: forall (s :: Type -> Type). Value w a => T s (Updates w s) -> T s (Maybe a) -> ValueConstraint w a
- UniqueLogic.ST.TF.System.Label: arg :: Variable w s a -> Apply w s a
+ UniqueLogic.ST.TF.System.Label: arg :: forall (w :: (Type -> Type) -> Type -> Type) (s :: Type -> Type) a. Variable w s a -> Apply w s a
- UniqueLogic.ST.TF.System.Label: assignment2 :: (C w, C s) => (a -> b) -> Variable w s a -> Variable w s b -> T w s ()
+ UniqueLogic.ST.TF.System.Label: assignment2 :: forall (w :: (Type -> Type) -> Type -> Type) (s :: Type -> Type) a b. (C w, C s) => (a -> b) -> Variable w s a -> Variable w s b -> T w s ()
- UniqueLogic.ST.TF.System.Label: assignment3 :: (C w, C s) => (a -> b -> c) -> Variable w s a -> Variable w s b -> Variable w s c -> T w s ()
+ UniqueLogic.ST.TF.System.Label: assignment3 :: forall (w :: (Type -> Type) -> Type -> Type) (s :: Type -> Type) a b c. (C w, C s) => (a -> b -> c) -> Variable w s a -> Variable w s b -> Variable w s c -> T w s ()
- UniqueLogic.ST.TF.System.Label: constant :: (C w, Value w a, C s) => a -> T w s (Variable w s a)
+ UniqueLogic.ST.TF.System.Label: constant :: forall (w :: (Type -> Type) -> Type -> Type) a (s :: Type -> Type). (C w, Value w a, C s) => a -> T w s (Variable w s a)
- UniqueLogic.ST.TF.System.Label: data Apply w s a
+ UniqueLogic.ST.TF.System.Label: data Apply (w :: Type -> Type -> Type -> Type) (s :: Type -> Type) a
- UniqueLogic.ST.TF.System.Label: localVariable :: (C w, Value w a, C s) => T w s (Variable w s a)
+ UniqueLogic.ST.TF.System.Label: localVariable :: forall (w :: (Type -> Type) -> Type -> Type) a (s :: Type -> Type). (C w, Value w a, C s) => T w s (Variable w s a)
- UniqueLogic.ST.TF.System.Label: query :: Variable w s a -> s (Maybe a)
+ UniqueLogic.ST.TF.System.Label: query :: forall (w :: (Type -> Type) -> Type -> Type) s a. Variable w s a -> s (Maybe a)
- UniqueLogic.ST.TF.System.Label: runApply :: (C w, C s) => Apply w s a -> Variable w s a -> T w s ()
+ UniqueLogic.ST.TF.System.Label: runApply :: forall (w :: (Type -> Type) -> Type -> Type) (s :: Type -> Type) a. (C w, C s) => Apply w s a -> Variable w s a -> T w s ()
- UniqueLogic.ST.TF.System.Label: solve :: (C w, C s) => T w s a -> w s a
+ UniqueLogic.ST.TF.System.Label: solve :: forall w (s :: Type -> Type) a. (C w, C s) => T w s a -> w s a
- UniqueLogic.ST.TF.System.Label: type T w = T (WriterT w)
+ UniqueLogic.ST.TF.System.Label: type T w = T WriterT w
- UniqueLogic.ST.TF.System.Label: type Variable w = Variable (WriterT w)
+ UniqueLogic.ST.TF.System.Label: type Variable w = Variable WriterT w
- UniqueLogic.ST.TF.System.Simple: arg :: Variable w s a -> Apply w s a
+ UniqueLogic.ST.TF.System.Simple: arg :: forall (w :: (Type -> Type) -> Type -> Type) (s :: Type -> Type) a. Variable w s a -> Apply w s a
- UniqueLogic.ST.TF.System.Simple: assignment2 :: (C w, C s) => (a -> b) -> Variable w s a -> Variable w s b -> T w s ()
+ UniqueLogic.ST.TF.System.Simple: assignment2 :: forall (w :: (Type -> Type) -> Type -> Type) (s :: Type -> Type) a b. (C w, C s) => (a -> b) -> Variable w s a -> Variable w s b -> T w s ()
- UniqueLogic.ST.TF.System.Simple: assignment3 :: (C w, C s) => (a -> b -> c) -> Variable w s a -> Variable w s b -> Variable w s c -> T w s ()
+ UniqueLogic.ST.TF.System.Simple: assignment3 :: forall (w :: (Type -> Type) -> Type -> Type) (s :: Type -> Type) a b c. (C w, C s) => (a -> b -> c) -> Variable w s a -> Variable w s b -> Variable w s c -> T w s ()
- UniqueLogic.ST.TF.System.Simple: constant :: C s => a -> T s (Variable s a)
+ UniqueLogic.ST.TF.System.Simple: constant :: forall (s :: Type -> Type) a. C s => a -> T s (Variable s a)
- UniqueLogic.ST.TF.System.Simple: data Apply w s a
+ UniqueLogic.ST.TF.System.Simple: data Apply (w :: Type -> Type -> Type -> Type) (s :: Type -> Type) a
- UniqueLogic.ST.TF.System.Simple: localVariable :: C s => T s (Variable s a)
+ UniqueLogic.ST.TF.System.Simple: localVariable :: forall (s :: Type -> Type) a. C s => T s (Variable s a)
- UniqueLogic.ST.TF.System.Simple: runApply :: (C w, C s) => Apply w s a -> Variable w s a -> T w s ()
+ UniqueLogic.ST.TF.System.Simple: runApply :: forall (w :: (Type -> Type) -> Type -> Type) (s :: Type -> Type) a. (C w, C s) => Apply w s a -> Variable w s a -> T w s ()
- UniqueLogic.ST.TF.System.Simple: type T = T IdentityT
+ UniqueLogic.ST.TF.System.Simple: type T = T IdentityT :: Type -> Type -> Type -> Type
- UniqueLogic.ST.TF.System.Simple: type Variable s a = Variable IdentityT s a
+ UniqueLogic.ST.TF.System.Simple: type Variable (s :: Type -> Type) a = Variable IdentityT :: Type -> Type -> Type -> Type s a
Files
- unique-logic-tf.cabal +13/−11
unique-logic-tf.cabal view
@@ -1,10 +1,11 @@+Cabal-Version: 2.2 Name: unique-logic-tf-Version: 0.5.1-License: BSD3+Version: 0.5.1.1+License: BSD-3-Clause License-File: LICENSE Author: Henning Thielemann Maintainer: Henning Thielemann <haskell@henning-thielemann.de>-Homepage: http://hub.darcs.net/thielema/unique-logic-tf/+Homepage: https://hub.darcs.net/thielema/unique-logic-tf/ Category: Logic programming Synopsis: Solve simple simultaneous equations Description:@@ -60,28 +61,28 @@ . This variant of the package requires type families. Tested-With: GHC==7.4.2-Cabal-Version: >=1.8 Build-Type: Simple-Extra-Source-Files:+Extra-Doc-Files: Changes.md Source-Repository this- Tag: 0.5.1+ Tag: 0.5.1.1 Type: darcs- Location: http://hub.darcs.net/thielema/unique-logic-tf/+ Location: https://hub.darcs.net/thielema/unique-logic-tf/ Source-Repository head Type: darcs- Location: http://hub.darcs.net/thielema/unique-logic-tf/+ Location: https://hub.darcs.net/thielema/unique-logic-tf/ Library Build-Depends:- data-ref >=0.0 && <0.1,- transformers >=0.4 && <0.6,+ data-ref >=0.0 && <0.2,+ transformers >=0.4 && <0.7, semigroups >=0.1 && <1.0,- containers >=0.4 && <0.7,+ containers >=0.4 && <0.9, utility-ht >=0.0.9 && <0.1, base >= 4 && <5+ Default-Language: Haskell98 GHC-Options: -Wall Hs-Source-Dirs: src @@ -104,6 +105,7 @@ Test-Suite test-unique-logic Type: exitcode-stdio-1.0 Main-Is: src/UniqueLogic/ST/TF/Test.hs+ Default-Language: Haskell98 GHC-Options: -Wall Build-Depends: unique-logic-tf,