Search plugin
Manual
haskell.org
set:stackage
set:installed
package:acc
package:adjunctions
package:aeson
package:aeson-pretty
package:agora
package:algebraic-graphs
package:ansi-terminal
package:ansi-wl-pprint
package:appar
package:array
package:asn1-encoding
package:asn1-parse
package:asn1-types
package:assoc
package:async
package:atomic-primops
package:attoparsec
package:attoparsec-iso8601
package:auto-update
package:barbies
package:base
package:base-compat
package:base-compat-batteries
package:base-orphans
package:base-unicode-symbols
package:base16
package:base16-bytestring
package:base64-bytestring
package:basement
package:bifunctors
package:bimap
package:bin
package:binary
package:binary-parser
package:bitvec
package:blaze-builder
package:blaze-html
package:blaze-markup
package:boring
package:bsb-http-chunked
package:bson
package:byteable
package:bytebuild
package:byteorder
package:byteslice
package:bytesmith
package:bytestring
package:bytestring-lexing
package:bytestring-strict-builder
package:Cabal
package:cache
package:call-stack
package:canonical-json
package:cardano-binary
package:cardano-crypto
package:cardano-crypto-class
package:cardano-prelude
package:case-insensitive
package:cassava
package:cborg
package:cereal
package:cereal-conduit
package:charset
package:chronos
package:clock
package:co-log
package:co-log-core
package:colour
package:comonad
package:composition-prelude
package:concurrent-output
package:conduit
package:conduit-extra
package:constraints
package:constraints-extras
package:containers
package:contiguous
package:contravariant
package:cookie
package:crypto-api
package:cryptohash
package:cryptohash-md5
package:cryptohash-sha1
package:cryptonite
package:data-binary-ieee754
package:data-bword
package:data-checked
package:data-default
package:data-default-class
package:data-default-instances-containers
package:data-default-instances-dlist
package:data-default-instances-old-locale
package:data-dword
package:data-endian
package:data-fix
package:data-serializer
package:data-sketches
package:data-sketches-core
package:data-textual
package:dec
package:deepseq
package:deferred-folds
package:dependent-sum
package:dependent-sum-template
package:deriving-aeson
package:deriving-compat
package:directory
package:distributive
package:dlist
package:dns
package:dom-lt
package:double-conversion
package:easy-file
package:entropy
package:erf
package:errors
package:exceptions
package:extra
package:fail
package:fast-logger
package:file-embed
package:filepath
package:fin
package:fingertree
package:flat
package:foldl
package:formatting
package:foundation
package:free
package:generically
package:generics-sop
package:ghc
package:ghc-bignum
package:ghc-boot
package:ghc-boot-th
package:ghc-compact
package:ghc-heap
package:ghc-prim
package:ghci
package:half
package:hashable
package:hashtables
package:haskell-lexer
package:haskell-src-exts
package:haskell-src-meta
package:hasql
package:hasql-pool
package:hasql-th
package:headed-megaparsec
package:heapwords
package:hedgehog
package:hedis
package:hourglass
package:hpc
package:HTTP
package:http-api-data
package:http-date
package:http-media
package:http-types
package:http2
package:HUnit
package:hw-kafka-client
package:indexed-profunctors
package:indexed-traversable
package:indexed-traversable-instances
package:int-cast
package:integer-gmp
package:integer-logarithms
package:invariant
package:iproute
package:isomorphism-class
package:kan-extensions
package:lens
package:lifted-async
package:lifted-base
package:liqwid-plutarch-extra
package:liqwid-script-export
package:list-t
package:logict
package:math-functions
package:megaparsec
package:memory
package:microlens
package:mime-types
package:mmorph
package:monad-control
package:monad-loops
package:MonadRandom
package:mongoDB
package:mono-traversable
package:monoidal-containers
package:mtl
package:mtl-compat
package:multiset
package:mwc-random
package:natural-arithmetic
package:network
package:network-bsd
package:network-byte-order
package:network-info
package:network-ip
package:network-uri
package:newtype
package:nonce
package:nonempty-vector
package:nothunks
package:old-locale
package:old-time
package:OneTuple
package:Only
package:optics
package:optics-core
package:optics-extra
package:optics-th
package:optparse-applicative
package:parallel
package:parsec
package:parser-combinators
package:parsers
package:pem
package:plutarch
package:plutarch-context-builder
package:plutarch-extra
package:plutarch-quickcheck
package:plutus-core
package:plutus-ledger-api
package:plutus-tx
package:ply-core
package:ply-plutarch
package:postgresql-binary
package:postgresql-libpq
package:postgresql-syntax
package:pretty
package:pretty-show
package:prettyprinter
package:prettyprinter-configurable
package:primitive
package:primitive-addr
package:primitive-offset
package:primitive-unlifted
package:process
package:profunctors
package:prometheus-client
package:prometheus-metrics-ghc
package:protolude
package:psqueues
package:pureMD5
package:QuickCheck
package:quickcheck-instances
package:ral
package:random
package:random-shuffle
package:recursion-schemes
package:recv
package:reflection
package:resource-pool
package:resourcet
package:rts
package:run-st
package:safe
package:safe-exceptions
package:scanner
package:scientific
package:selective
package:semialign
package:semigroupoids
package:semigroups
package:serialise
package:servant
package:servant-server
package:simple-sendfile
package:singleton-bool
package:some
package:sop-core
package:split
package:splitmix
package:StateVar
package:stm
package:stm-chans
package:stm-conduit
package:streaming-commons
package:strict
package:strict-containers
package:string-conversions
package:syb
package:tagged
package:tasty
package:tasty-expected-failure
package:tasty-hedgehog
package:tasty-hunit
package:tasty-quickcheck
package:template-haskell
package:template-haskell-compat-v0208
package:terminal-size
package:terminfo
package:text
package:text-builder
package:text-builder-dev
package:text-latin1
package:text-printer
package:text-short
package:th-abstraction
package:th-compat
package:th-expand-syns
package:th-extras
package:th-lift
package:th-lift-instances
package:th-orphans
package:th-reify-many
package:th-utilities
package:these
package:time
package:time-compat
package:time-manager
package:tls
package:torsor
package:transformers
package:transformers-base
package:transformers-compat
package:tuples
package:type-equality
package:type-hint
package:typed-process
package:typerep-map
package:unbounded-delays
package:universe
package:universe-base
package:universe-instances-extended
package:universe-reverse-instances
package:universe-some
package:unix
package:unix-compat
package:unix-time
package:unliftio
package:unliftio-core
package:unordered-containers
package:utf8-string
package:uuid
package:uuid-types
package:vault
package:vector
package:vector-algorithms
package:void
package:wai
package:wai-app-static
package:wai-cors
package:wai-extra
package:wai-logger
package:wai-middleware-prometheus
package:warp
package:wcwidth
package:wide-word
package:witherable
package:wl-pprint-annotated
package:word-array
package:word8
package:x509
package:x509-store
package:x509-validation
package:xhtml
package:z-agora-z-pprelude
package:z-attoparsec-z-attoparsec-internal
package:z-dns-z-dns-internal
package:z-liqwid-plutarch-extra-z-pprelude
package:z-plutus-core-z-index-envs
package:zigzag
package:zlib
category:Adjunctions
category:Algebra
category:Algorithms
category:Array
category:Binary
category:Bit-Vectors
category:Builders
category:ByteString
category:Cache
category:Categories
category:CLI
category:Codec
category:Codecs
category:Comonad
category:Comonads
category:Compatibility
category:Concurrency
category:Conduit
category:Constraints
category:Contravariant
category:Control
category:Crypto
category:Cryptography
category:CSV
category:Currency
category:Data
category:Data-Structures
category:Database
category:Dependent-Types
category:Development
category:Distribution
category:Error-Handling
category:Exceptions
category:Folding
category:foundation
category:Functors
category:Generics
category:GHC
category:Graphics
category:Graphs
category:Hasql
category:HTTP
category:JSON
category:Language
category:Lenses
category:List
category:Logging
category:Math
category:Megaparsec
category:memory
category:Monad
category:Monads
category:Network
category:Number-Theory
category:Numeric
category:Optics
category:Options
category:Parallelism
category:Parser
category:Parsers
category:Parsing
category:Phantom-Types
category:Plutarch
category:Plutus
category:PostgreSQL
category:Prelude
category:Pretty-Printer
category:Primitive
category:Profunctors
category:Random
category:Recursion
category:Reflection
category:Serialization
category:Servant
category:Singletons
category:Statistics
category:Streaming
category:System
category:Template-Haskell
category:TemplateHaskell
category:Test
category:Testing
category:Text
category:These
category:Time
category:Types
category:User-Interfaces
category:Wai
category:Web
category:XML
category:Yesod
license:Apache
license:BSD-2-Clause
license:BSD-3-Clause
license:GPL-2.0-or-later
license:ISC
license:LicenseRef-Apache
license:LicenseRef-PublicDomain
license:MIT
license:MPL-2.0
author:"Luc-Tielen"
author:"Ryan-Scott"
author:"Samuel-Gélineau"
author:Adam-Bergmark
author:Adam-Gundry
author:Alex-Chapman
author:Alex-Washburn
author:Alexandre-Moine
author:Alexey-Khudyakov
author:Alexey-Raga
author:Ali-Abrar
author:Anders-Kaseorg
author:Andras-Slemmer
author:Andreas-Abel
author:Andreas-Hammar
author:Andreas-Klebinger
author:Andres-Löh
author:Andrew-Lelechenko
author:Andrew-Martin
author:Andrey-Mokhov
author:Andrzej-Rybczak
author:Andy-Gill
author:Antoine-Latter
author:Anton-Kholomiov
author:Aristid-Breitkreuz
author:Artyom-Kazak
author:Ashley-Yakeley
author:Bas-van-Dijk
author:Ben-Gamari
author:Benno-Fünfstück
author:Bjorn-Bringert
author:Björn-Bringert
author:Brent-Yorgey
author:Bryan-O'Sullivan
author:C.-McCann
author:Cabal-Development-Team
author:Cale-Gibbard
author:Cetin-Sert
author:Chase
author:chessai
author:Chris-Done
author:Chris-Dornan
author:Chung-chieh-Shan
author:Clark-Gaebel
author:Conor-McBride
author:contributors-2008
author:Core-Libraries-Committee
author:Corsis-Research
author:Daan-Leijen
author:Dan-Burton
author:Dan-Doel
author:Daniel-Fischer
author:Daniel-Gorin
author:Daniel-Mendler
author:Daniel-Schüssler
author:Daniel-Wagner
author:Darius-Jahandarie
author:Dave-Laing
author:David-Luposchainsky
author:David-Terei
author:Dean-Herington
author:Deepak-Jois
author:Dmitrii-Kovanikov
author:Don-Stewart
author:Duncan-Coutts
author:Edsko-de-Vries
author:Edward-Kmett
author:effectfully
author:Elliott-Hird
author:Emanuel-Borsboom
author:Emily-Martins
author:Emily-Pillmore
author:Eric-Demko
author:Eric-Mertens
author:Erik-de-Castro-Lopo
author:Erik-Hesselink
author:Evan-Borden
author:Falko-Peters
author:Fedor-Gogolev
author:Felipe-Lessa
author:Francesco-Mazzoli
author:Francisco-Blas-Izquierdo-Riera
author:Fumiaki-Kinoshita
author:Gabriella-Gonzalez
author:Galois-Inc.
author:Ganesh-Sittampalam
author:github:
author:Grant-Monroe
author:Greg-Weber
author:Gregory-Collins
author:Haskell-Bytestring-Team
author:Haskell-Libraries-Team
author:Haskell-Text-Team
author:Heinrich-Apfelmus
author:Henri-Verroken
author:Herbert-Valerio-Riedel
author:https://github.com/blaze-builder
author:https://github.com/haskell-hvr/cassava
author:Huw-Campbell
author:Ian-Duncan
author:Ian-Lynagh
author:Iavor-S.-Diatchki
author:IOHK
author:Jacob-Stanley
author:James-Cook
author:Jann-Mueller
author:Jason-Dusek
author:Jasper-Van-der-Jeugt
author:Joachim-Breitner
author:Joel-Williamson
author:Joel-Williamson-2015
author:Joey-Adams
author:Joey-Hess
author:Johan-Tibell
author:John-Dorsey
author:John-Millikin
author:John-Wiegley
author:José-Pedro-Magalhães
author:João-Cristóvão
author:Judah-Jacobson
author:Julian-Ospald
author:Kazu-Yamamoto
author:Koen-Claessen
author:Kostiantyn-Rybnikov
author:Kowainik
author:Koz-Ross
author:Lars-Kuhtz
author:Las-Safin
author:Lemmih
author:Lennart-Augustsson
author:Lennart-Kolmodin
author:Leon-P-Smith
author:LLC
author:Lukas-Mai
author:Manlio-Perillo
author:Mark-Karpov
author:Martijn-Bastiaan
author:Martijn-van-Steenbergen
author:Matt-Brown
author:Matt-Morrow
author:Matvey-Aksenov
author:Max-Bolingbroke
author:Megaparsec-contributors
author:Michael-Peyton-Jones
author:Michael-Sloan
author:Michael-Snoyman
author:Mike-Meyer
author:Mike-Pilgrem
author:Mikhail-Glushenkov
author:Mikhail-Vorozhtsov
author:Milan-Straka
author:Mitsutoshi-Aoe
author:Myles-C.-Maxfield
author:Neil-Mitchell
author:Nick-Smallbone
author:Nickolay-Kudasov
author:Nicolas-Di-Prima
author:Nicolas-Frisby
author:Nikita-Volkov
author:Niklas-Broberg
author:Obsidian-Systems
author:Oleg-Grenrus
author:Oleg-Kiselyov
author:Oleg.Grenrus
author:others
author:Paolo-Capriotti
author:Paolo-Martini
author:Pasqualino-`Titto`-Assini
author:Phil-Wadler
author:Plutus-Core-Team
author:Prowdsponsor
author:Ralf-Lammel
author:Rob-Bassi
author:Roel-van-Dijk
author:Roman-Cheplyaka
author:Roman-Leshchinskiy
author:Ross-Paterson
author:Russell-O'Connor
author:Ryan-Newton
author:Ryan-Scott
author:Sean-Leather
author:Sergey-Vinokurov
author:Servant-Contributors
author:Seungheon-Oh
author:Shachaf-Ben-Kiki
author:Simon-Hengel
author:Simon-Jakobi
author:Simon-Marlow
author:Simon-Meier
author:Simon-Peyton-Jones
author:Stephen-Diehl
author:Steven-Fontanella
author:Stuart-Cook
author:Sven-Panne
author:Sylvain-Henry
author:Sönke-Hahn
author:The-GHC-Team
author:Thomas-DuBuisson
author:Thomas-Hallgren
author:Timothy-Jones
author:Tony-Hannan
author:Twan-van-Laarhoven
author:Vanessa-McHale
author:Veronika-Romashkina
author:Victor-Denisov
author:Vincent-Hanquez
author:Vladislav-Zavialov
author:Warrick-Gray
author:Will-Coster
author:wren-gayle-romano
author:Ximin-Luo
author:Yuras-Shumovich
author:Zachary-Churchill
:: Term s (PValue _ a :--> PValue _ a)
Packages
is:exact
plutarch
padaOnlyValue
:: Term s (PValue 'Sorted v :--> PValue 'Sorted v)
plutarch
Plutarch.Api.V1.Value
Value without any non-Ada
pnoAdaValue
:: Term s (PValue 'Sorted v :--> PValue 'Sorted v)
plutarch
Plutarch.Api.V1.Value
Value without any Ada
passertPositive
:: forall kg ag s . Term s (PValue kg ag :--> PValue kg 'Positive)
plutarch
Plutarch.Api.V1.Value
Assert all amounts in the value are positive.