Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data family Issue l :: Type Source #
Instances
Orphan instances
Subtree SecurityRequirement Source # | |
type CheckEnv SecurityRequirement :: [Type] Source # type SubtreeLevel SecurityRequirement :: BehaviorLevel Source # checkStructuralCompatibility :: HList (CheckEnv SecurityRequirement) -> ProdCons (Traced SecurityRequirement) -> StructuralCompatFormula () Source # checkSemanticCompatibility :: HList (CheckEnv SecurityRequirement) -> Behavior (SubtreeLevel SecurityRequirement) -> ProdCons (Traced SecurityRequirement) -> SemanticCompatFormula () Source # |