github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-13 03:15:45 +03:00
Code Issues Projects Releases Wiki Activity

calls take a list of values as params

Browse Source
This commit is contained in:
joshvera 2018-09-26 13:56:58 -05:00
parent 52bb2236e5
commit 020a179b11
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/Control/Abstract/Value.hs
View File

@ -67,12 +67,12 @@ data Comparator
function :: forall address value effects. Member (Function address value) effects => Name -> [Name] -> Set Name -> Evaluator address value effects value -> Evaluator address value effects value
function name params fvs (Evaluator body) = send @(Function address value) (Function name params fvs body)
call :: Member (Function address value) effects => value -> address -> [address] -> Evaluator address value effects address
call :: Member (Function address value) effects => value -> address -> [value] -> Evaluator address value effects value
call fn self args = send (Call fn self args)
data Function address value m result where
Function :: Name -> [Name] -> Set Name -> m value -> Function address value m value
Call :: value -> address -> [address] -> Function address value m address
Call :: value -> address -> [value] -> Function address value m value
instance PureEffect (Function address value) where
handle handler (Request (Function name params fvs body) k) = Request (Function name params fvs (handler body)) (handler . k)
@ -173,10 +173,10 @@ class AbstractIntro value => AbstractValue address value effects where
unsignedRShift :: value -> value -> Evaluator address value effects value
-- | Construct an N-ary tuple of multiple (possibly-disjoint) values
tuple :: [address] -> Evaluator address value effects value
tuple :: [value] -> Evaluator address value effects value
-- | Construct an array of zero or more values.
array :: [address] -> Evaluator address value effects value
array :: [value] -> Evaluator address value effects value
asArray :: value -> Evaluator address value effects [address]
@ -187,7 +187,7 @@ class AbstractIntro value => AbstractValue address value effects where
asString :: value -> Evaluator address value effects Text
-- | @index x i@ computes @x[i]@, with zero-indexing.
index :: value -> value -> Evaluator address value effects address
index :: value -> value -> Evaluator address value effects value
-- | Build a class value from a name and environment.
klass :: Declaration -- ^ The new class's identifier