free-theorems-seq-1.0: Taming Selective Strictness
Language.Haskell.FreeTheorems.Variations.PolySeq.TheoremGen
makeFTFull :: Typ -> Either [Char] [Char]Source
makeFTFullFunc :: Typ -> Either [Char] [Char]Source
makeFTFullWithFlag :: Bool -> Typ -> Either [Char] [Char]Source
makeFTFullFuncWithFlag :: Bool -> Typ -> Either [Char] [Char]Source