mirror of
https://github.com/github/semantic.git
synced 2024-11-24 08:54:07 +03:00
🔥 a redundant constraint.
This commit is contained in:
parent
b99b9f90df
commit
9b48331945
@ -31,7 +31,7 @@ name = Gen.prune (named' <$> names) where
|
|||||||
boolean :: (Carrier sig t, Member Core.Core sig, MonadGen m) => m (t Name)
|
boolean :: (Carrier sig t, Member Core.Core sig, MonadGen m) => m (t Name)
|
||||||
boolean = Core.bool <$> Gen.bool
|
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
|
variable = pure . namedValue <$> name
|
||||||
|
|
||||||
ifthenelse :: (Carrier sig t, Member Core.Core sig, MonadGen m) => m (t Name) -> m (t 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