github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-24 07:25:44 +03:00
Code Issues Projects Releases Wiki Activity

remove redunant constraints in python package

Browse Source
This commit is contained in:
Ayman Nadeem 2018-12-14 17:25:21 -05:00
parent df0f4ffd3a
commit 663aa45bfc
1 changed files with 0 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
src/Control/Abstract/PythonPackage.hs
View File

@ -16,23 +16,13 @@ data Strategy = Unknown | Packages [Text] | FindPackages [Text]
deriving (Show, Eq)
runPythonPackaging :: ( Carrier sig m
, Ord address
, Show address
, Show term
, Member Trace sig
, Member (Boolean (Value term address)) sig
, Member (Abstract.String (Value term address)) sig
, Member (State (Heap address address (Value term address))) sig
, Member (Resumable (BaseError (AddressError address (Value term address)))) sig
, Member (Resumable (BaseError (ValueError term address))) sig
, Member Fresh sig
, Member (State Strategy) sig
, Member (Allocator address) sig
, Member (Deref (Value term address)) sig
, Member (Error (LoopControl (Value term address))) sig
, Member (Error (Return (Value term address))) sig
, Member (Reader ModuleInfo) sig
, Member (Reader PackageInfo) sig
, Member (Reader Span) sig
, Member (Function term address (Value term address)) sig)
=> Evaluator term address (Value term address) (PythonPackagingC term address (Eff m)) a
@ -46,23 +36,13 @@ wrap :: Evaluator term address (Value term address) m a -> PythonPackagingC term
wrap = PythonPackagingC . runEvaluator
instance ( Carrier sig m
, Member (Allocator address) sig
, Member (Boolean (Value term address)) sig
, Member (Deref (Value term address)) sig
, Member (Error (LoopControl (Value term address))) sig
, Member (Error (Return (Value term address))) sig
, Member Fresh sig
, Member (Function term address (Value term address)) sig
, Member (Reader ModuleInfo) sig
, Member (Reader PackageInfo) sig
, Member (Reader Span) sig
, Member (Resumable (BaseError (AddressError address (Value term address)))) sig
, Member (Resumable (BaseError (ValueError term address))) sig
, Member (State (Heap address address (Value term address))) sig
, Member (State Strategy) sig
, Member (Abstract.String (Value term address)) sig
, Member Trace sig
, Ord address
, Show address
, Show term
)