grisette-0.2.0.0: Symbolic evaluation as a library
Copyright(c) Sirui Lu 2021-2023
LicenseBSD-3-Clause (see the LICENSE file)
Maintainersiruilu@cs.washington.edu
StabilityExperimental
PortabilityGHC only
Safe HaskellSafe-Inferred
LanguageHaskell2010

Grisette.Lib.Data.List

Contents

Description

 
Synopsis

Symbolic versions of List operations

(!!~) :: (MonadUnion uf, MonadError e uf, TransformError ArrayException e, Mergeable a) => [a] -> SymInteger -> uf a Source #

Symbolic version of !!, the result would be merged and propagate the mergeable knowledge.

symFilter :: (MonadUnion u, Mergeable a) => (a -> SymBool) -> [a] -> u [a] Source #

Symbolic version of filter, the result would be merged and propagate the mergeable knowledge.

symTake :: (MonadUnion u, Mergeable a) => SymInteger -> [a] -> u [a] Source #

Symbolic version of take, the result would be merged and propagate the mergeable knowledge.

symDrop :: (MonadUnion u, Mergeable a) => SymInteger -> [a] -> u [a] Source #

Symbolic version of drop, the result would be merged and propagate the mergeable knowledge.