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

Grisette.Lib.Data.Functor

Description

 
Synopsis

Documentation

mrgFmap :: (TryMerge f, Mergeable a, Mergeable b, Functor f) => (a -> b) -> f a -> f b Source #

fmap with MergingStrategy knowledge propagation.

(.<$) :: (TryMerge f, Mergeable a, Mergeable b, Functor f) => b -> f a -> f b infixl 4 Source #

<$ with MergingStrategy knowledge propagation.

(.$>) :: (TryMerge f, Mergeable a, Mergeable b, Functor f) => f a -> b -> f b infixl 4 Source #

$> with MergingStrategy knowledge propagation.

(.<$>) :: (TryMerge f, Mergeable a, Mergeable b, Functor f) => (a -> b) -> f a -> f b infixl 4 Source #

<$> with MergingStrategy knowledge propagation.

(.<&>) :: (TryMerge f, Mergeable a, Mergeable b, Functor f) => f a -> (a -> b) -> f b infixl 1 Source #

<&> with MergingStrategy knowledge propagation.

mrgUnzip :: (TryMerge f, Mergeable a, Mergeable b, Functor f) => f (a, b) -> (f a, f b) Source #

unzip with MergingStrategy knowledge propagation.

mrgVoid :: (TryMerge f, Functor f) => f a -> f () Source #

void with MergingStrategy knowledge propagation.