Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.IOTasks.Term

Documentation

Instances details

EffectEval (Term k) Source #
Instance details Defined in Test.IOTasks.Internal.Term Associated Types type Env (Term k) Source # Methods pureEval :: (Applicative f, Typeable a) => (forall x. Typeable x => Term k x -> f x) -> Env (Term k) -> Term k a -> f a Source # eval :: Typeable a => Env (Term k) -> Term k a -> a Source #
Typeable a => Show (Term k a) Source #
Instance details Defined in Test.IOTasks.Internal.Term Methods showsPrec :: Int -> Term k a -> ShowS # show :: Term k a -> String # showList :: [Term k a] -> ShowS #
Typeable a => Eq (Term k a) Source #
Instance details Defined in Test.IOTasks.Internal.Term Methods (==) :: Term k a -> Term k a -> Bool # (/=) :: Term k a -> Term k a -> Bool #
Typeable a => Ord (Term k a) Source #
Instance details Defined in Test.IOTasks.Internal.Term Methods compare :: Term k a -> Term k a -> Ordering # (<) :: Term k a -> Term k a -> Bool # (<=) :: Term k a -> Term k a -> Bool # (>) :: Term k a -> Term k a -> Bool # (>=) :: Term k a -> Term k a -> Bool # max :: Term k a -> Term k a -> Term k a # min :: Term k a -> Term k a -> Term k a #
type Env (Term k) Source #
Instance details Defined in Test.IOTasks.Internal.Term type Env (Term k) = ValueMap

Constructors

Transparent
PartiallyOpaque

Constructors

withSomeTerm :: SomeTerm k -> (forall a. Typeable a => Term k a -> r) -> r Source #

Constructors

withSomeTermK :: SomeTermK -> (forall (k :: TermKind) a. Typeable a => Term k a -> r) -> r Source #