unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-23 08:18:04 +03:00
Code Issues Projects Releases Wiki Activity

smart constructors

Browse Source
This commit is contained in:
Paul Chiusano 2018-05-17 12:04:23 -04:00
parent d764fe0c85
commit 0f32611d3a
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
parser-typechecker/src/Unison/Term.hs
View File

@ -195,6 +195,15 @@ app f arg = ABT.tm (App f arg)
match :: Ord v => Term v -> [(Pattern, Term v)] -> Term v
match scrutinee branches = ABT.tm (Match scrutinee branches)
handle :: Ord v => Term v -> Term v -> Term v
handle h block = ABT.tm (Handle h block)
and :: Ord v => Term v -> Term v -> Term v
and x y = ABT.tm (And x y)
or :: Ord v => Term v -> Term v -> Term v
or x y = ABT.tm (Or x y)
constructor :: Ord v => Reference -> Int -> Term v
constructor ref n = ABT.tm (Constructor ref n)