Home
last modified time | relevance | path

Searched defs:ttToType (Results 1 – 2 of 2) sorted by relevance

/dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/yesod-core-1.6.18/src/Yesod/Routes/
H A DParse.hs256 ttToType (TTTerm s) = nameToType s function
257 ttToType (TTApp x y) = ttToType x `AppT` ttToType y function
258 ttToType (TTList t) = ListT `AppT` ttToType t function
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/yesod-core-1.6.18/src/Yesod/Routes/
H A DParse.hs256 ttToType (TTTerm s) = nameToType s function
257 ttToType (TTApp x y) = ttToType x `AppT` ttToType y function
258 ttToType (TTList t) = ListT `AppT` ttToType t function