mirror of
https://github.com/github/semantic.git
synced 2024-12-26 08:25:19 +03:00
🔥 a redundant constraint.
This commit is contained in:
parent
1b7acb2411
commit
ba23138ade
@ -31,7 +31,7 @@ name = Gen.prune (named' <$> names) where
|
||||
boolean :: (Carrier sig t, Member Core.Core sig, MonadGen m) => m (t Name)
|
||||
boolean = Core.bool <$> Gen.bool
|
||||
|
||||
variable :: (Carrier sig t, Member Core.Core sig, MonadGen m) => m (t Name)
|
||||
variable :: (Carrier sig t, MonadGen m) => m (t Name)
|
||||
variable = pure . namedValue <$> name
|
||||
|
||||
ifthenelse :: (Carrier sig t, Member Core.Core sig, MonadGen m) => m (t Name) -> m (t Name)
|
||||
|
Loading…
Reference in New Issue
Block a user