free-theorems-0.3.2.0: Automatic generation of free theorems.

Index - S

Signature 
1 (Type/Class)Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax
2 (Data Constructor)Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax
signatureNameLanguage.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax
signatureTypeLanguage.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax
simplifyLanguage.Haskell.FreeTheorems
simplifyUnfoldedLiftLanguage.Haskell.FreeTheorems
specialiseLanguage.Haskell.FreeTheorems
specialiseInverseLanguage.Haskell.FreeTheorems
StrictLanguage.Haskell.FreeTheorems.Theorems
SubsetWithFixLanguage.Haskell.FreeTheorems
SubsetWithSeqLanguage.Haskell.FreeTheorems
superClassesLanguage.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax