voidlizard
/
hbs2
mirror of https://github.com/voidlizard/hbs2
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

wip, kinda function composition?

This commit is contained in:
voidlizard 2025-01-24 20:45:54 +03:00
parent b8db094714
commit f12f4d1e12
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
miscellaneous/suckless-conf/lib/Data/Config/Suckless/Script/Internal.hs
View File

@ -942,7 +942,7 @@ internalEntries = do
_ -> throwIO (TypeCheckError @C nil) _ -> throwIO (TypeCheckError @C nil)
entry $ bindMatch "dec" $ \case entry $ bindMatch "dec" $ \case
[ LitIntVal n ] -> pure (mkInt (succ n)) [ LitIntVal n ] -> pure (mkInt (pred n))
_ -> throwIO (TypeCheckError @C nil) _ -> throwIO (TypeCheckError @C nil)
entry $ bindMatch "map" $ \case entry $ bindMatch "map" $ \case
@ -974,6 +974,16 @@ internalEntries = do
[ e, ListVal es ] -> pure (mkList (e:es)) [ e, ListVal es ] -> pure (mkList (e:es))
_ -> throwIO (BadFormException @C nil) _ -> throwIO (BadFormException @C nil)
entry $ bindMatch "@" $ \syn -> do
case List.uncons (reverse syn) of
Nothing -> pure nil
Just (a, []) -> pure a
Just (a, fs) -> flip fix (a, fs) $ \next -> \case
(acc, []) -> pure acc
(acc, x:xs) -> do
acc' <- apply_ x [acc]
next (acc', xs)
brief "get tail of list" brief "get tail of list"
$ args [arg "list" "list"] $ args [arg "list" "list"]
$ desc "nil if the list is empty; error if not list" $ desc "nil if the list is empty; error if not list"