st/prog_synthesis
1
0
Fork 0
mirror of https://codeberg.org/ProgramSnail/prog_synthesis.git synced 2025-12-05 21:18:42 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

02 changes

Browse source
This commit is contained in:
ProgramSnail 2025-11-05 01:57:37 +03:00
parent 83720426c1
commit b7963e87a6
1 changed files with 17 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

24
02.hs
View file

@ -104,13 +104,23 @@ nextExprsLists' newExprs oldExprs = let listNewExprs = [ e | e <- newExprs, type
[concat [[e :+: e' | e <- listNewExprs, e' <- listNewExprs],
[e :+: e' | e <- listNewExprs, e' <- listOldExprs],
[e :+: e' | e <- listOldExprs, e' <- listNewExprs]],
concat [[SubList e from to | e <- listNewExprs, from <- intNewExprs, to <- intNewExprs],
[SubList e from to | e <- listOldExprs, from <- intNewExprs, to <- intNewExprs],
[SubList e from to | e <- listNewExprs, from <- intOldExprs, to <- intNewExprs],
[SubList e from to | e <- listNewExprs, from <- intNewExprs, to <- intOldExprs],
[SubList e from to | e <- listOldExprs, from <- intOldExprs, to <- intNewExprs],
[SubList e from to | e <- listOldExprs, from <- intNewExprs, to <- intOldExprs],
[SubList e from to | e <- listNewExprs, from <- intOldExprs, to <- intOldExprs]]]
concat [
-- [SubList e from to | e <- listNewExprs, from <- intNewExprs, to <- intNewExprs],
-- [SubList e from to | e <- listOldExprs, from <- intNewExprs, to <- intNewExprs],
-- [SubList e from to | e <- listNewExprs, from <- intOldExprs, to <- intNewExprs],
-- [SubList e from to | e <- listNewExprs, from <- intNewExprs, to <- intOldExprs],
-- [SubList e from to | e <- listOldExprs, from <- intOldExprs, to <- intNewExprs],
-- [SubList e from to | e <- listOldExprs, from <- intNewExprs, to <- intOldExprs],
[SubList InList from to | -- e <- listNewExprs,
from <- intNewExprs,
to <- intNewExprs],
[SubList InList from to | -- e <- listNewExprs,
from <- intNewExprs,
to <- intOldExprs],
[SubList InList from to | -- e <- listNewExprs,
from <- intOldExprs,
to <- intNewExprs]
]]
nextExprs' :: [Expr] -> [Expr] -> [Expr]
nextExprs' newExprs oldExprs = concatShuffle $ nextExprsLists' newExprs oldExprs