Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- type family Replicate (n :: Nat) (xs :: [k]) :: [[k]] where ...
- type Extend' xs ys = ys ++ Extend xs ys
- type family Extend (xs :: [k]) (ys :: [[k]]) :: [[k]] where ...
- type family MapCons (x :: k) (ys :: [[k]]) :: [[k]] where ...
- type family (xs :: [k]) ++ (ys :: [k]) :: [k] where ...
- class TestControl (xs :: [[(Type -> Type) -> Type -> Type]]) (m :: Type -> Type) where
- testControl :: [(String, [(String, Property)])]
- type family StackT (ts :: [(Type -> Type) -> Type -> Type]) (m :: Type -> Type) :: Type -> Type where ...
- type Stack ts = StackT ts Identity
- class TestTransControl (ts :: [(Type -> Type) -> Type -> Type]) (m :: Type -> Type) where
- testTransControl :: [(String, Property)]
- class TestBaseControl (ts :: [(Type -> Type) -> Type -> Type]) (m :: Type -> Type) where
- testBaseControl :: [(String, Property)]
- type StdTrans = '[ReaderT Int, StateT Int, ExceptT Int]
- type StdStacks = Replicate 2 StdTrans
- checkControl :: [(String, [(String, Property)])]
Documentation
type family Replicate (n :: Nat) (xs :: [k]) :: [[k]] where ... Source #
All lists of length n
or less with (possibly duplicate)
elements from xs
.
class TestControl (xs :: [[(Type -> Type) -> Type -> Type]]) (m :: Type -> Type) where Source #
Instances
TestControl ([] :: [[(Type -> Type) -> Type -> Type]]) m Source # | |
Defined in Test.Monad.Control.Checkers | |
(TestTransControl ts m, TestBaseControl ts m, TestControl tss m, Typeable (StackT ts m)) => TestControl (ts ': tss) m Source # | |
Defined in Test.Monad.Control.Checkers |
type family StackT (ts :: [(Type -> Type) -> Type -> Type]) (m :: Type -> Type) :: Type -> Type where ... Source #
class TestTransControl (ts :: [(Type -> Type) -> Type -> Type]) (m :: Type -> Type) where Source #
testTransControl :: [(String, Property)] Source #
Instances
TestTransControl ([] :: [(Type -> Type) -> Type -> Type]) m Source # | |
Defined in Test.Monad.Control.Checkers testTransControl :: [(String, Property)] Source # | |
(MonadTransControl t, Monad (StackT (t ': ts) m), Monad (StackT ts m), Constructible (StackT (t ': ts) m Int), Constructible (StackT ts m Int), TestEq (StackT (t ': ts) m Int)) => TestTransControl (t ': ts) m Source # | |
Defined in Test.Monad.Control.Checkers testTransControl :: [(String, Property)] Source # |
class TestBaseControl (ts :: [(Type -> Type) -> Type -> Type]) (m :: Type -> Type) where Source #
testBaseControl :: [(String, Property)] Source #
Instances
(MonadBaseControl m (StackT ts m), Constructible (StackT ts m Int), Constructible (m Int), TestEq (StackT ts m Int)) => TestBaseControl ts m Source # | |
Defined in Test.Monad.Control.Checkers testBaseControl :: [(String, Property)] Source # |