1
1
mirror of https://github.com/github/semantic.git synced 2024-12-14 17:31:48 +03:00

Liiiiiiint

This commit is contained in:
Rob Rix 2018-12-11 16:17:12 -05:00
parent d26846b839
commit e2750c7ffe

View File

@ -197,7 +197,7 @@ newtype WhileC value m a = WhileC { runWhileC :: m a }
unit :: (Carrier sig m, Member (Unit value) sig) => Evaluator term address value m value
unit = send (Unit ret)
data Unit value (m :: * -> *) k
newtype Unit value (m :: * -> *) k
= Unit (value -> k)
deriving (Functor)