ngws
/
mad
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Remove warnings and rename new token

This commit is contained in:
Niels G. W. Serup 2024-09-21 17:33:02 +02:00
parent 06067a6cfc
commit dad5724af8
No known key found for this signature in database
GPG Key ID: 38EEEBCE67324F19
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
byg/src/ComputationM.hs
View File

@ -1,3 +1,4 @@
{-# LANGUAGE GADTs #-}
module ComputationM module ComputationM
( ComputationM ( ComputationM
, Token , Token
@ -28,7 +29,7 @@ deriving instance (Show a, Show b) => Show (TypedRun a b)
data Token a where data Token a where
Token :: Int -> Token a Token :: Int -> Token a
ZipToken :: Token a -> Token b -> Token (a, b) TupleToken :: Token a -> Token b -> Token (a, b)
NoToken :: Token () NoToken :: Token ()
deriving instance Show (Token a) deriving instance Show (Token a)
@ -104,4 +105,4 @@ mapComputationM_ f input = do
filterComputationM :: Show a => (Token a -> ComputationM Bool) -> Token [a] -> ComputationM [a] filterComputationM :: Show a => (Token a -> ComputationM Bool) -> Token [a] -> ComputationM [a]
filterComputationM f input = do filterComputationM f input = do
conds <- mapComputationM f input conds <- mapComputationM f input
genDependency (Dependency (ZipToken input conds) FilterComp) genDependency (Dependency (TupleToken input conds) FilterComp)