github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-28 01:47:01 +03:00
Code Issues Projects Releases Wiki Activity

🔥 the Syntax instance for Core.

Browse Source
This commit is contained in:
Rob Rix 2019-07-18 14:44:10 -04:00
parent 49baa468f9
commit 2743895e78
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 0 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
semantic-core/src/Data/Core.hs
View File

@ -199,21 +199,3 @@ stripAnnotations (Var v) = Var v
stripAnnotations (Term t) stripAnnotations (Term t)
| Just c <- prj t, Ann _ b <- c = stripAnnotations b | Just c <- prj t, Ann _ b <- c = stripAnnotations b
| otherwise = Term (hmap stripAnnotations t) | otherwise = Term (hmap stripAnnotations t)
instance Syntax Core where
foldSyntax go k h = \case
Let a -> Let a
a :>> b -> go h a :>> go h b
Lam u b -> Lam u (foldSyntax go k h b)
a :$ b -> go h a :$ go h b
Unit -> Unit
Bool b -> Bool b
If c t e -> If (go h c) (go h t) (go h e)
String s -> String s
Load t -> Load (go h t)
Edge e t -> Edge e (go h t)
Frame -> Frame
a :. b -> go h a :. go h b
a := b -> go h a := go h b
Ann loc t -> Ann loc (go h t)