| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
GHC.Builtin.Types.Literals
Documentation
tryInteractInertFam :: BuiltInSynFamily -> TyCon -> [Type] -> [Type] -> [(CoAxiomRule, TypeEqn)] Source #
tryInteractTopFam :: BuiltInSynFamily -> TyCon -> [Type] -> Type -> [(CoAxiomRule, TypeEqn)] Source #
tryMatchFam :: BuiltInSynFamily -> [Type] -> Maybe (CoAxiomRule, [Type], Type) Source #
typeNatTyCons :: [TyCon] Source #
data BuiltInSynFamily Source #
Constructors
| BuiltInSynFamily | |
Fields | |