Test.DepTyCheck.Gen.Labels

Reexports

Definitions

data Label : Type

Totality: total
Visibility: export
Constructor: 

StringLabel : String -> Label

Hints:

Eq Label

FromString Label

Ord Label

Show Label

interface CanManageLabels : (Type -> Type) -> Type

Parameters: m
Constraints: Monad m
Methods:

manageLabel : Label -> m ()

Implementations:

MonadWriter ModelCoverage m => CanManageLabels m

CanManageLabels m => MonadTrans t => Monad (t m) => CanManageLabels (t m)

manageLabel : CanManageLabels m => Label -> m ()

Totality: total
Visibility: public export

IgnoreLabels : Monad m => CanManageLabels m

Totality: total
Visibility: export