Safe Haskell | None |
---|---|
Language | Haskell2010 |
Orphan instances
Subtree Schema Source # | |
type CheckEnv Schema :: [Type] Source # type SubtreeLevel Schema :: BehaviorLevel Source # checkStructuralCompatibility :: HList (CheckEnv Schema) -> ProdCons (Traced Schema) -> StructuralCompatFormula () Source # checkSemanticCompatibility :: HList (CheckEnv Schema) -> Behavior (SubtreeLevel Schema) -> ProdCons (Traced Schema) -> SemanticCompatFormula () Source # |