msyds/rlp
1
0
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects Releases 2 Wiki Activity

HasBinders Binding

Browse Source
This commit is contained in:
crumbtoo
2024-02-26 17:03:20 -07:00
parent b8e1ef7b94
commit 6086402d4e
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/Core/Syntax.hs
View File

@@ -535,8 +535,9 @@ instance HasBinders a a b b'
binders k (AlterF con bs e) =
AlterF con <$> traverse k bs <*> traverseOf binders k e
instance HasBinders (BindingF b a) (BindingF b' a) b b' where
binders = undefined
instance HasBinders a a b b'
=> HasBinders (BindingF b a) (BindingF b' a) b b' where
binders k (BindingF b v) = BindingF <$> k b <*> binders k v
instance (HasBinders (f b (Fix (f b))) (f b' (Fix (f b'))) b b')
=> HasBinders (Fix (f b)) (Fix (f b')) b b' where