Update gh-pages

Store path: /nix/store/8fpj6gyqn5w5gdgmlcb402arv7n46yv0-lambda-buffers-book

Author: hercules-ci[bot]

book.js

@@ -557,9 +557,9 @@ aria-label="Show hidden lines"></button>';
     sidebarToggleAnchor.addEventListener('change', function sidebarToggle() {
         if (sidebarToggleAnchor.checked) {
             const current_width = parseInt(
-                document.documentElement.style.getPropertyValue('--sidebar-width'), 10);
+                document.documentElement.style.getPropertyValue('--sidebar-target-width'), 10);
             if (current_width < 150) {
-                document.documentElement.style.setProperty('--sidebar-width', '150px');
+                document.documentElement.style.setProperty('--sidebar-target-width', '150px');
             }
             showSidebar();
         } else {
@@ -583,7 +583,7 @@ aria-label="Show hidden lines"></button>';
                 showSidebar();
             }
             pos = Math.min(pos, window.innerWidth - 100);
-            document.documentElement.style.setProperty('--sidebar-width', pos + 'px');
+            document.documentElement.style.setProperty('--sidebar-target-width', pos + 'px');
         }
     }
     //on mouseup remove windows functions mousemove & mouseup

css/variables.css

@@ -2,7 +2,8 @@
 /* Globals */
 
 :root {
-    --sidebar-width: 300px;
+    --sidebar-target-width: 300px;
+    --sidebar-width: min(var(--sidebar-target-width), 80vw);
     --sidebar-resize-indicator-width: 8px;
     --sidebar-resize-indicator-space: 2px;
     --page-padding: 15px;

plutarch/app/Example.hs

@@ -24,10 +24,10 @@ import Plutarch.Internal.Term (
 import Plutarch.LedgerApi.V1 (PCurrencySymbol (PCurrencySymbol), PTokenName (PTokenName), pposixTime)
 import Plutarch.LedgerApi.Value (PAssetClass (PAssetClass))
 import Plutarch.Maybe qualified as Scott
-import Plutarch.Prelude (ClosedTerm, PAsData, PBool (PFalse, PTrue), PBuiltinList, PByteString, PDataNewtype (PDataNewtype), PEq ((#==)), PIsData, PlutusType, Term, pcon, pconstant, pdata, perror, pfind, pfromData, pif, plam, pletC, pmatch, pmatchC, ppairDataBuiltin, pshow, ptraceInfo, unTermCont, (#), (#&&), (:-->))
+import Plutarch.Prelude (ClosedTerm, PAsData, PBool (PFalse, PTrue), PBuiltinList, PByteString, PEq ((#==)), PIsData, PlutusType, Term, pcon, pconstant, pdata, perror, pfind, pfromData, pif, plam, pletC, pmatch, pmatchC, ppairDataBuiltin, pshow, ptraceInfo, unTermCont, (#), (#&&), (:-->))
 
 userRef :: Text -> Term s (Ref User)
-userRef userName = userRef' (pfromData $ name userName)
+userRef userName = userRef' (textToBytes userName)
 
 userRef' :: Term s Bytes -> Term s (Ref User)
 userRef' userName = pcon $ Ref (pdata (userRefAssetClass userName))
@@ -36,24 +36,17 @@ userRefAssetClass :: Term s Bytes -> Term s PAssetClass
 userRefAssetClass userName =
   pcon $
     PAssetClass
-      ( pcon $
-          PDataNewtype
-            ( pdata $
-                ppairDataBuiltin
-                  # pcon' (PCurrencySymbol $ pcon $ PDataNewtype $ name "users")
-                  # pcon' (PTokenName $ pcon $ PDataNewtype $ pdata userName)
-            )
+      ( ppairDataBuiltin
+          # pcon' (PCurrencySymbol $ textToBytes "users")
+          # pcon' (PTokenName userName)
       )
 
 activeUser :: Text -> [Term s (Ref User)] -> Integer -> Term s User
-activeUser n friends since = pcon $ User (name n) (pdata $ activeSince since) (pdata $ Lb.plistFrom friends)
+activeUser n friends since = pcon $ User (pdata $ textToBytes n) (pdata $ activeSince since) (pdata $ Lb.plistFrom friends)
 
 activeSince :: Integer -> Term s Status
 activeSince since = pcon (Status'Active (pdata (pposixTime (pconstantInteger since))))
 
-name :: Text -> Term s (PAsData PByteString)
-name = textToBytes
-
 message :: Term s POSIXTime -> Term s (Ref User) -> Term s (Ref User) -> Term s Content -> Term s Message
 message at from to content = pcon $ Message (pdata at) (pdata from) (pdata to) (pdata content)
 
@@ -68,7 +61,7 @@ isFriendly = plam $ \users msg -> unTermCont $ do
     pif
       ( (isFriend # fromFriends # toName)
           #== (isFriend # toFriends # fromName)
-          #&& (content #== pcon' (Content'Text (textToBytes "'sup")))
+          #&& (content #== pcon' (Content'Text (pdata $ textToBytes "'sup")))
       )
       (pcon PTrue)
       (ptraceInfo ("This wasn't a friendly message :(" <> pshow msg) perror)
@@ -102,8 +95,8 @@ isFriendly = plam $ \users msg -> unTermCont $ do
 pcon' :: PIsData a => PlutusType a => a s -> Term s (PAsData a)
 pcon' = pdata . pcon
 
-textToBytes :: Text -> Term s (PAsData PByteString)
-textToBytes = pdata . pconstant . Text.encodeUtf8
+textToBytes :: Text -> Term s PByteString
+textToBytes = pconstant . Text.encodeUtf8
 
 toBuiltinList :: Term s (Lb.PList a :--> PBuiltinList (PAsData a))
 toBuiltinList = plam $ \xs -> pmatch xs (\(Lb.PList xs') -> xs')
@@ -127,7 +120,7 @@ jared :: Term s User
 jared = activeUser "Jared Pon" [userRef "Gergely Szabó", userRef "Drazen Popovic"] 2
 
 supJaredSaidGergo :: Term s Message
-supJaredSaidGergo = message (pposixTime (pconstantInteger 10)) (userRef "Gergely Szabó") (userRef "Jared Pon") (pcon $ Content'Text (textToBytes "'sup"))
+supJaredSaidGergo = message (pposixTime (pconstantInteger 10)) (userRef "Gergely Szabó") (userRef "Jared Pon") (pcon $ Content'Text (pdata $ textToBytes "'sup"))
 
 main :: IO ()
 main = evalBool $ isFriendly # Lb.plistFrom [drazen, gergo, jared] # supJaredSaidGergo

plutarch/build.nix

@@ -28,7 +28,7 @@
     in
 
     {
-      devShells.dev-plutarch-example = hsFlake.devShell;
+      devShells.dev-plutarch-example = hsFlake.devShells.default;
 
       packages = {
         plutarch-example-cli = hsFlake.packages."plutarch-example:exe:plutarch-example";

plutarch/cabal.project

@@ -1,3 +1,10 @@
 packages: ./.
 
 tests: true
+
+allow-newer:
+  -- TODO(szg251): Allow once the below issue is resolved
+  -- https://github.com/phadej/vec/issues/121
+  ral:QuickCheck,
+  fin:QuickCheck,
+  bin:QuickCheck,

plutustx/build.nix

@@ -34,7 +34,7 @@
     in
 
     {
-      devShells.dev-plutustx-example = hsFlake.devShell;
+      devShells.dev-plutustx-example = hsFlake.devShells.default;
 
       packages = {
         # Derivation for the .lbf schema file

searcher.js

@@ -3,7 +3,7 @@
 /* global Mark, elasticlunr, path_to_root */
 
 window.search = window.search || {};
-(function search(search) {
+(function search() {
     // Search functionality
     //
     // You can use !hasFocus() to prevent keyhandling in your key
@@ -29,7 +29,8 @@ window.search = window.search || {};
         searchicon = document.getElementById('search-toggle'),
         content = document.getElementById('content'),
 
-        mark_exclude = [],
+        // SVG text elements don't render if inside a <mark> tag.
+        mark_exclude = ['text'],
         marker = new Mark(content),
         URL_SEARCH_PARAM = 'search',
         URL_MARK_PARAM = 'highlight',
@@ -288,6 +289,9 @@ window.search = window.search || {};
 
         // If reloaded, do the search or mark again, depending on the current url parameters
         doSearchOrMarkFromUrl();
+
+        // Exported functions
+        config.hasFocus = hasFocus;
     }
 
     function unfocusSearchbar() {
@@ -521,6 +525,4 @@ window.search = window.search || {};
 
     loadScript(path_to_root + 'searchindex.js', 'search-index');
 
-    // Exported functions
-    search.hasFocus = hasFocus;
 })(window.search);

searchindex.js

@@ -0,0 +1 @@
+use flake .#plutus-sample-project-typescript