free-theorems-seq-1.0: Taming Selective Strictness
Language.Haskell.FreeTheorems.Variations.PolySeq.PolySeq
polySeq :: Term -> Maybe ((Term, Constraint, Typ), [String])Source
shellStyle :: StyleSource
webStyle :: StyleSource
getItT :: Term -> IO ()Source
getItTRaw :: Term -> IO ()Source
getIt :: String -> IO ()Source
getItRaw :: String -> IO ()Source
getForWebInterface :: String -> Either (String, String) (String, String, String, String, [(String, String)])Source
testTerm :: [Char]Source
test :: IO ()Source
foldl'' :: [Char]Source