Skip to content
This repository was archived by the owner on Apr 1, 2025. It is now read-only.

Commit 1c85529

Browse files
committed
Move the fixities adjacent to Core.
1 parent 1e8a4ff commit 1c85529

File tree

1 file changed

+5
-5
lines changed

1 file changed

+5
-5
lines changed

semantic-core/src/Data/Core.hs

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -71,6 +71,11 @@ data Core f a
7171
| Ann Loc (f a)
7272
deriving (Foldable, Functor, Generic1, Traversable)
7373

74+
infixl 2 :$
75+
infixr 1 :>>
76+
infix 3 :=
77+
infixl 4 :.
78+
7479
instance HFunctor Core
7580

7681
deriving instance (Eq a, forall a . Eq a => Eq (f a), Monad f) => Eq (Core f a)
@@ -94,11 +99,6 @@ instance RightModule Core where
9499
(a := b) >>=* f = (a >>= f) := (b >>= f)
95100
Ann l b >>=* f = Ann l (b >>= f)
96101

97-
infixl 2 :$
98-
infixr 1 :>>
99-
infix 3 :=
100-
infixl 4 :.
101-
102102

103103
let' :: (Carrier sig m, Member Core sig) => User -> m a
104104
let' = send . Let

0 commit comments

Comments
 (0)