Signature | |
1 (Type/Class) | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
2 (Data Constructor) | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
signatureName | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
signatureType | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
simplify | Language.Haskell.FreeTheorems |
simplifyUnfoldedLift | Language.Haskell.FreeTheorems |
specialise | Language.Haskell.FreeTheorems |
specialiseInverse | Language.Haskell.FreeTheorems |
Strict | Language.Haskell.FreeTheorems.Theorems |
SubsetWithFix | Language.Haskell.FreeTheorems |
SubsetWithSeq | Language.Haskell.FreeTheorems |
superClasses | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |