free-theorems-seq-1.0: Taming Selective Strictness

Safe Haskell	None

Language.Haskell.FreeTheorems.Variations.PolySeq.PolySeq

Documentation

polySeq :: Term -> Maybe ((Term, Constraint, Typ), [String])Source

shellStyle :: Style Source

webStyle :: Style Source

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