mockcat-1.0.1.0: Declarative mocking with a single arrow `~>`.

Safe Haskell	None
Language	Haskell2010

Test.MockCat.TH.ContextBuilder

Synopsis

liftConstraint :: Name -> Type -> Type
mockTType :: Name -> Type
tyVarBndrToType :: Name -> TyVarBndr a -> Type
applyFamilyArg :: Name -> TyVarBndr a -> Type
data MockType
- = Total
- | Partial
buildContext :: [Pred] -> MockType -> Name -> Name -> [TyVarBndr a] -> [VarAppliedType] -> [Pred]
toVarTs :: [TyVarBndr a] -> [Type]
constructClassAppT :: Name -> [Type] -> Type
getTypeVarNames :: [TyVarBndr a] -> [Name]
getTypeVarName :: TyVarBndr a -> Name
convertTyVarBndr :: TyVarBndr a -> TyVarBndr ()

Documentation

liftConstraint :: Name -> Type -> Type Source #

Rewrite constraint types to use MockT for the monad variable where needed.

mockTType :: Name -> Type Source #

tyVarBndrToType :: Name -> TyVarBndr a -> Type Source #

applyFamilyArg :: Name -> TyVarBndr a -> Type Source #

data MockType Source #

Constructors

Total
Partial

Instances

Instances details

Eq MockType Source #
Instance details Defined in Test.MockCat.TH.ContextBuilder Methods (==) :: MockType -> MockType -> Bool # (/=) :: MockType -> MockType -> Bool #

buildContext :: [Pred] -> MockType -> Name -> Name -> [TyVarBndr a] -> [VarAppliedType] -> [Pred] Source #

toVarTs :: [TyVarBndr a] -> [Type] Source #

constructClassAppT :: Name -> [Type] -> Type Source #

getTypeVarNames :: [TyVarBndr a] -> [Name] Source #

getTypeVarName :: TyVarBndr a -> Name Source #

convertTyVarBndr :: TyVarBndr a -> TyVarBndr () Source #