1
1
mirror of https://github.com/github/semantic.git synced 2024-11-28 10:15:55 +03:00

Move the fixities adjacent to Core.

This commit is contained in:
Rob Rix 2019-07-17 11:54:56 -04:00
parent 1e8a4ffa31
commit 1c85529a33
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7

View File

@ -71,6 +71,11 @@ data Core f a
| Ann Loc (f a)
deriving (Foldable, Functor, Generic1, Traversable)
infixl 2 :$
infixr 1 :>>
infix 3 :=
infixl 4 :.
instance HFunctor Core
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
(a := b) >>=* f = (a >>= f) := (b >>= f)
Ann l b >>=* f = Ann l (b >>= f)
infixl 2 :$
infixr 1 :>>
infix 3 :=
infixl 4 :.
let' :: (Carrier sig m, Member Core sig) => User -> m a
let' = send . Let