Documentation

tff :: [(String, Type)] -> [(String, Function)] -> String -> NameM FormSource

cnf :: [(String, Type)] -> [(String, Function)] -> String -> NameM FormSource

form :: Parsec (UserState ParseState TokenStream) a -> [([Char], Type)] -> [(String, ::: Name FunType)] -> [Char] -> NameM aSource

form' :: Parsec (UserState ParseState TokenStream) b -> [([Char], Type)] -> [(String, ::: Name FunType)] -> [Char] -> Closed () -> Closed bSource