mirror of
https://github.com/github/semantic.git
synced 2024-12-19 12:51:52 +03:00
🔥 evaluateTerm.
This commit is contained in:
parent
d9b78fae6b
commit
2b000639b3
@ -1,7 +1,7 @@
|
||||
{-# LANGUAGE GADTs, KindSignatures, ScopedTypeVariables, TypeOperators, UndecidableInstances #-}
|
||||
module Semantic.Graph
|
||||
( analysisParsers
|
||||
, AnalyzeTerm(..)
|
||||
, AnalyzeTerm
|
||||
, runGraph
|
||||
, runCallGraph
|
||||
, runImportGraph
|
||||
@ -108,10 +108,7 @@ class
|
||||
, Recursive (term Loc)
|
||||
, Show (term Loc)
|
||||
, HasSpan (term Loc)
|
||||
) => AnalyzeTerm (term :: * -> *) where
|
||||
evaluateTerm
|
||||
:: (term Loc -> Evaluator (term Loc) address value m value)
|
||||
-> (term Loc -> Evaluator (term Loc) address value m value)
|
||||
) => AnalyzeTerm (term :: * -> *)
|
||||
|
||||
analysisParsers :: Map Language (SomeParser AnalyzeTerm Loc)
|
||||
analysisParsers = Map.fromList
|
||||
|
Loading…
Reference in New Issue
Block a user