![hercules-ci[bot]](https://avatars.githubusercontent.com/in/24794?v=4&s=80)
Update gh-pages
Store path: /nix/store/k2a8kdisbwrl08kanmm4bimscl3bz6qi-combined-docs
Home /
Plutonomicon /
plutarch-plutus
Nov 14, 5-6 AM (0)
Nov 14, 6-7 AM (0)
Nov 14, 7-8 AM (1)
Nov 14, 8-9 AM (0)
Nov 14, 9-10 AM (0)
Nov 14, 10-11 AM (0)
Nov 14, 11-12 PM (0)
Nov 14, 12-1 PM (0)
Nov 14, 1-2 PM (0)
Nov 14, 2-3 PM (1)
Nov 14, 3-4 PM (0)
Nov 14, 4-5 PM (0)
Nov 14, 5-6 PM (0)
Nov 14, 6-7 PM (1)
Nov 14, 7-8 PM (1)
Nov 14, 8-9 PM (4)
Nov 14, 9-10 PM (3)
Nov 14, 10-11 PM (2)
Nov 14, 11-12 AM (3)
Nov 15, 12-1 AM (1)
Nov 15, 1-2 AM (0)
Nov 15, 2-3 AM (0)
Nov 15, 3-4 AM (0)
Nov 15, 4-5 AM (0)
Nov 15, 5-6 AM (0)
Nov 15, 6-7 AM (0)
Nov 15, 7-8 AM (0)
Nov 15, 8-9 AM (0)
Nov 15, 9-10 AM (0)
Nov 15, 10-11 AM (0)
Nov 15, 11-12 PM (0)
Nov 15, 12-1 PM (0)
Nov 15, 1-2 PM (0)
Nov 15, 2-3 PM (0)
Nov 15, 3-4 PM (0)
Nov 15, 4-5 PM (0)
Nov 15, 5-6 PM (0)
Nov 15, 6-7 PM (0)
Nov 15, 7-8 PM (0)
Nov 15, 8-9 PM (0)
Nov 15, 9-10 PM (0)
Nov 15, 10-11 PM (0)
Nov 15, 11-12 AM (0)
Nov 16, 12-1 AM (0)
Nov 16, 1-2 AM (0)
Nov 16, 2-3 AM (0)
Nov 16, 3-4 AM (0)
Nov 16, 4-5 AM (0)
Nov 16, 5-6 AM (0)
Nov 16, 6-7 AM (0)
Nov 16, 7-8 AM (0)
Nov 16, 8-9 AM (0)
Nov 16, 9-10 AM (0)
Nov 16, 10-11 AM (0)
Nov 16, 11-12 PM (0)
Nov 16, 12-1 PM (0)
Nov 16, 1-2 PM (0)
Nov 16, 2-3 PM (0)
Nov 16, 3-4 PM (0)
Nov 16, 4-5 PM (0)
Nov 16, 5-6 PM (0)
Nov 16, 6-7 PM (0)
Nov 16, 7-8 PM (0)
Nov 16, 8-9 PM (0)
Nov 16, 9-10 PM (0)
Nov 16, 10-11 PM (0)
Nov 16, 11-12 AM (0)
Nov 17, 12-1 AM (0)
Nov 17, 1-2 AM (0)
Nov 17, 2-3 AM (0)
Nov 17, 3-4 AM (0)
Nov 17, 4-5 AM (0)
Nov 17, 5-6 AM (0)
Nov 17, 6-7 AM (0)
Nov 17, 7-8 AM (1)
Nov 17, 8-9 AM (0)
Nov 17, 9-10 AM (0)
Nov 17, 10-11 AM (0)
Nov 17, 11-12 PM (1)
Nov 17, 12-1 PM (0)
Nov 17, 1-2 PM (0)
Nov 17, 2-3 PM (0)
Nov 17, 3-4 PM (0)
Nov 17, 4-5 PM (0)
Nov 17, 5-6 PM (0)
Nov 17, 6-7 PM (0)
Nov 17, 7-8 PM (2)
Nov 17, 8-9 PM (0)
Nov 17, 9-10 PM (1)
Nov 17, 10-11 PM (0)
Nov 17, 11-12 AM (1)
Nov 18, 12-1 AM (0)
Nov 18, 1-2 AM (0)
Nov 18, 2-3 AM (0)
Nov 18, 3-4 AM (0)
Nov 18, 4-5 AM (0)
Nov 18, 5-6 AM (0)
Nov 18, 6-7 AM (0)
Nov 18, 7-8 AM (0)
Nov 18, 8-9 AM (0)
Nov 18, 9-10 AM (0)
Nov 18, 10-11 AM (0)
Nov 18, 11-12 PM (0)
Nov 18, 12-1 PM (0)
Nov 18, 1-2 PM (0)
Nov 18, 2-3 PM (0)
Nov 18, 3-4 PM (0)
Nov 18, 4-5 PM (0)
Nov 18, 5-6 PM (0)
Nov 18, 6-7 PM (0)
Nov 18, 7-8 PM (1)
Nov 18, 8-9 PM (1)
Nov 18, 9-10 PM (0)
Nov 18, 10-11 PM (2)
Nov 18, 11-12 AM (2)
Nov 19, 12-1 AM (0)
Nov 19, 1-2 AM (0)
Nov 19, 2-3 AM (0)
Nov 19, 3-4 AM (0)
Nov 19, 4-5 AM (0)
Nov 19, 5-6 AM (0)
Nov 19, 6-7 AM (0)
Nov 19, 7-8 AM (0)
Nov 19, 8-9 AM (0)
Nov 19, 9-10 AM (0)
Nov 19, 10-11 AM (0)
Nov 19, 11-12 PM (0)
Nov 19, 12-1 PM (0)
Nov 19, 1-2 PM (0)
Nov 19, 2-3 PM (0)
Nov 19, 3-4 PM (0)
Nov 19, 4-5 PM (0)
Nov 19, 5-6 PM (0)
Nov 19, 6-7 PM (0)
Nov 19, 7-8 PM (0)
Nov 19, 8-9 PM (0)
Nov 19, 9-10 PM (0)
Nov 19, 10-11 PM (0)
Nov 19, 11-12 AM (1)
Nov 20, 12-1 AM (0)
Nov 20, 1-2 AM (3)
Nov 20, 2-3 AM (2)
Nov 20, 3-4 AM (0)
Nov 20, 4-5 AM (0)
Nov 20, 5-6 AM (1)
Nov 20, 6-7 AM (0)
Nov 20, 7-8 AM (0)
Nov 20, 8-9 AM (0)
Nov 20, 9-10 AM (0)
Nov 20, 10-11 AM (0)
Nov 20, 11-12 PM (0)
Nov 20, 12-1 PM (0)
Nov 20, 1-2 PM (0)
Nov 20, 2-3 PM (0)
Nov 20, 3-4 PM (0)
Nov 20, 4-5 PM (0)
Nov 20, 5-6 PM (0)
Nov 20, 6-7 PM (0)
Nov 20, 7-8 PM (2)
Nov 20, 8-9 PM (3)
Nov 20, 9-10 PM (2)
Nov 20, 10-11 PM (0)
Nov 20, 11-12 AM (0)
Nov 21, 12-1 AM (0)
Nov 21, 1-2 AM (0)
Nov 21, 2-3 AM (0)
Nov 21, 3-4 AM (0)
Nov 21, 4-5 AM (0)
Nov 21, 5-6 AM (0)
43 commits this week
Nov 14, 2024
-
Nov 21, 2024
Remove `HAsData` and implement `PLiftable (PAsData a)` directly
Merge remote-tracking branch 'origin/seungheonoh/pliftable-experiments' into seungheonoh/simplifyPLiftablePData
Update gh-pages
Store path: /nix/store/qw4v029wcwgnfgj1y5xdzwyb99yd8yfr-combined-docs
Rename Scott `PLiftable` utils to more generic closed term names
They can also be used for SOP encoding
Fix complication for plutarch-docs relating PBuiltinList lifting
possible fix..?
Add `DefaultUni` constraints to docs
Revert "WIP: new `PAsData` design"
This reverts commit 15dd6ce5a5a7edf64976573d4cb8d8169aa2238f.
New `PLiftable` design to work with Scott encoded types
Add `PLiftable` for every type in ledger-api
Change `DeriveDataPLiftable` constraint to use `PSubtype PData`
Temporarily rename new `PLifted` to `PLifted'`
Issue is that new `PLifted` must be imported for deriving via to work and that conflicts with exiting `PLifted`. To revert once migration is finished
Fix pbuiltinIfThenElse with delays, restore strict pif
Move PBitString internal, export from Prelude, add builtin binds
Migrate Plutarch.Crypto to Internal namespace, prefixes
Move PString and PByteString into dedicated modules
Merge branch 'staging' into koz/reorganize
Temporarily re-home lifting-related stuff
flake.lock: Update
Flake lock file updates:
• Updated input 'CHaP':
'github:input-output-hk/cardano-haskell-packages/d3d36220528058f9a24cff43fc723e60f6a786ad' (2024-11-05)
→ 'github:input-output-hk/cardano-haskell-packages/82b295d6147a566c28dbcf038c54040f06f7e6b4' (2024-11-12)
• Updated input 'emanote':
'github:srid/emanote/0062302c7580233595d02e0fd9d72a09139cfab4' (2024-10-28)
→ 'github:srid/emanote/d165ad189dbf71bd66b0c7f211c45c5431499540' (2024-11-11)
• Updated input 'emanote/ema':
'github:srid/ema/51566e4155602b0a243a369b37dc503ebdebabce' (2024-03-10)
→ 'github:srid/ema/16e2752267cd49027e281409daa25b6ecba68fd3' (2024-08-21)
• Removed input 'emanote/ema/emanote'
• Removed input 'emanote/ema/emanote/commonmark-simple'
• Removed input 'emanote/ema/emanote/commonmark-wikilink'
• Removed input 'emanote/ema/emanote/ema'
• Removed input 'emanote/ema/emanote/ema/flake-parts'
• Removed input 'emanote/ema/emanote/ema/flake-root'
• Removed input 'emanote/ema/emanote/ema/haskell-flake'
• Removed input 'emanote/ema/emanote/ema/nixpkgs'
• Removed input 'emanote/ema/emanote/ema/treefmt-nix'
• Removed input 'emanote/ema/emanote/emanote-template'
• Removed input 'emanote/ema/emanote/flake-parts'
• Removed input 'emanote/ema/emanote/flake-parts/nixpkgs-lib'
• Removed input 'emanote/ema/emanote/flake-root'
• Removed input 'emanote/ema/emanote/haskell-flake'
• Removed input 'emanote/ema/emanote/heist-extra'
• Removed input 'emanote/ema/emanote/nixpkgs'
• Removed input 'emanote/ema/emanote/systems'
• Removed input 'emanote/ema/emanote/treefmt-nix'
• Removed input 'emanote/ema/emanote/treefmt-nix/nixpkgs'
• Removed input 'emanote/ema/emanote/unionmount'
• Removed input 'emanote/ema/flake-parts'
• Removed input 'emanote/ema/flake-root'
• Removed input 'emanote/ema/haskell-flake'
• Removed input 'emanote/ema/nixpkgs'
• Removed input 'emanote/ema/treefmt-nix'
• Updated input 'emanote/flake-parts/nixpkgs-lib':
'https://github.com/NixOS/nixpkgs/archive/fb192fec7cc7a4c26d51779e9bab07ce6fa5597a.tar.gz?narHash=sha256-0xHYkMkeLVQAMa7gvkddbPqpxph%2BhDzdu1XdGPJR%2BOs%3D' (2024-10-01)
→ follows 'emanote/nixpkgs'
• Removed input 'emanote/systems'
• Updated input 'haskell-nix':
'github:input-output-hk/haskell.nix/6048c40ce0aa0f8a7135d7df0f5faa0bd10ff235' (2024-11-10)
→ 'github:input-output-hk/haskell.nix/256e8da232ea566d08575f57b339d0a1f1e29f2d' (2024-11-17)
• Updated input 'haskell-nix/hackage':
'github:input-output-hk/hackage.nix/74f041b5e38eee15747fad79c2ae0304dc5c75fe' (2024-11-10)
→ 'github:input-output-hk/hackage.nix/63a2ef6b360db26a465da0893fa32dcaa86761ca' (2024-11-17)
• Updated input 'haskell-nix/stackage':
'github:input-output-hk/stackage.nix/9a814411f9baf6236114c84b7190620fa00723f7' (2024-11-10)
→ 'github:input-output-hk/stackage.nix/ad774845ced6cda5a29966f13703332636d6cea8' (2024-11-13)
• Updated input 'nixpkgs':
'github:NixOS/nixpkgs/8213a8a557f80086dac25ae2c613794ce9f0b4eb' (2024-11-10)
→ 'github:NixOS/nixpkgs/535e437365c2a175c58e94ee5b5ca6dff866e5c6' (2024-11-17)
• Updated input 'pre-commit-hooks':
'github:cachix/pre-commit-hooks.nix/d70155fdc00df4628446352fc58adc640cd705c2' (2024-11-05)
→ 'github:cachix/pre-commit-hooks.nix/cd1af27aa85026ac759d5d3fccf650abe7e1bbf0' (2024-11-11)