Copyright	(c) Sirui Lu 2021-2023
License	BSD-3-Clause (see the LICENSE file)
Maintainer	siruilu@cs.washington.edu
Stability	Experimental
Portability	GHC only
Safe Haskell	Trustworthy
Language	Haskell2010

Grisette.Internal.Core.Data.Union

Contents

The union data structure.

Description

Synopsis

data Union a where
- UnionSingle :: a -> Union a
- UnionIf :: a -> !Bool -> !SymBool -> Union a -> Union a -> Union a
ifWithLeftMost :: Bool -> SymBool -> Union a -> Union a -> Union a
ifWithStrategy :: MergingStrategy a -> SymBool -> Union a -> Union a -> Union a
fullReconstruct :: MergingStrategy a -> Union a -> Union a

The union data structure.

Please consider using UnionM instead.

data Union a where Source #

The default union implementation.

Constructors

UnionSingle :: a -> Union a	A single value
UnionIf	A if value
Fields :: a Cached leftmost value -> !Bool Is merged invariant already maintained? -> !SymBool If condition -> Union a True branch -> Union a False branch -> Union a

Instances

Instances details

Eq1 Union Source #
Instance details Defined in Grisette.Internal.Core.Data.Union Methods liftEq :: (a -> b -> Bool) -> Union a -> Union b -> Bool #
Show1 Union Source #
Instance details Defined in Grisette.Internal.Core.Data.Union Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Union a -> ShowS # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Union a] -> ShowS #
Applicative Union Source #
Instance details Defined in Grisette.Internal.Core.Data.Union Methods pure :: a -> Union a # (<>) :: Union (a -> b) -> Union a -> Union b # liftA2 :: (a -> b -> c) -> Union a -> Union b -> Union c # (>) :: Union a -> Union b -> Union b # (<*) :: Union a -> Union b -> Union a #
Functor Union Source #
Instance details Defined in Grisette.Internal.Core.Data.Union Methods fmap :: (a -> b) -> Union a -> Union b # (<$) :: a -> Union b -> Union a #
Monad Union Source #
Instance details Defined in Grisette.Internal.Core.Data.Union Methods (>>=) :: Union a -> (a -> Union b) -> Union b # (>>) :: Union a -> Union b -> Union b # return :: a -> Union a #
NFData1 Union Source #
Instance details Defined in Grisette.Internal.Core.Data.Union Methods liftRnf :: (a -> ()) -> Union a -> () #
Mergeable1 Union Source #
Instance details Defined in Grisette.Internal.Core.Data.Union Methods liftRootStrategy :: MergingStrategy a -> MergingStrategy (Union a) Source #
PlainUnion Union Source #
Instance details Defined in Grisette.Internal.Core.Data.Union Methods singleView :: Union a -> Maybe a Source # ifView :: Union a -> Maybe (SymBool, Union a, Union a) Source # toGuardedList :: Union a -> [(SymBool, a)] Source #
SimpleMergeable1 Union Source #
Instance details Defined in Grisette.Internal.Core.Data.Union Methods liftMrgIte :: (SymBool -> a -> a -> a) -> SymBool -> Union a -> Union a -> Union a Source #
UnionMergeable1 Union Source #
Instance details Defined in Grisette.Internal.Core.Data.Union Methods mrgIfWithStrategy :: MergingStrategy a -> SymBool -> Union a -> Union a -> Union a Source # mrgIfPropagatedStrategy :: SymBool -> Union a -> Union a -> Union a Source #
TryMerge Union Source #
Instance details Defined in Grisette.Internal.Core.Data.Union Methods tryMergeWithStrategy :: MergingStrategy a -> Union a -> Union a Source #
Generic1 Union Source #
Instance details Defined in Grisette.Internal.Core.Data.Union Associated Types type Rep1 Union :: k -> Type # Methods from1 :: forall (a :: k). Union a -> Rep1 Union a # to1 :: forall (a :: k). Rep1 Union a -> Union a #
Lift a => Lift (Union a :: Type) Source #
Instance details Defined in Grisette.Internal.Core.Data.Union Methods lift :: Quote m => Union a -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Union a -> Code m (Union a) #
Generic (Union a) Source #
Instance details Defined in Grisette.Internal.Core.Data.Union Associated Types type Rep (Union a) :: Type -> Type # Methods from :: Union a -> Rep (Union a) x # to :: Rep (Union a) x -> Union a #
Show a => Show (Union a) Source #
Instance details Defined in Grisette.Internal.Core.Data.Union Methods showsPrec :: Int -> Union a -> ShowS # show :: Union a -> String # showList :: [Union a] -> ShowS #
NFData a => NFData (Union a) Source #
Instance details Defined in Grisette.Internal.Core.Data.Union Methods rnf :: Union a -> () #
Eq a => Eq (Union a) Source #
Instance details Defined in Grisette.Internal.Core.Data.Union Methods (==) :: Union a -> Union a -> Bool # (/=) :: Union a -> Union a -> Bool #
GPretty a => GPretty (Union a) Source #
Instance details Defined in Grisette.Internal.Core.Data.Union Methods gpretty :: Union a -> Doc ann Source # gprettyPrec :: Int -> Union a -> Doc ann Source # gprettyList :: [Union a] -> Doc ann Source #
Mergeable a => Mergeable (Union a) Source #
Instance details Defined in Grisette.Internal.Core.Data.Union Methods rootStrategy :: MergingStrategy (Union a) Source #
Mergeable a => SimpleMergeable (Union a) Source #
Instance details Defined in Grisette.Internal.Core.Data.Union Methods mrgIte :: SymBool -> Union a -> Union a -> Union a Source #
AllSyms a => AllSyms (Union a) Source #
Instance details Defined in Grisette.Internal.Core.Data.Union Methods allSymsS :: Union a -> [SomeSym] -> [SomeSym] Source # allSyms :: Union a -> [SomeSym] Source #
Hashable a => Hashable (Union a) Source #
Instance details Defined in Grisette.Internal.Core.Data.Union Methods hashWithSalt :: Int -> Union a -> Int # hash :: Union a -> Int #
type Rep1 Union Source #
Instance details Defined in Grisette.Internal.Core.Data.Union type Rep1 Union = D1 ('MetaData "Union" "Grisette.Internal.Core.Data.Union" "grisette-0.5.0.0-2ZDAuzWdzg48yPrBcRstUR" 'False) (C1 ('MetaCons "UnionSingle" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1) :+: C1 ('MetaCons "UnionIf" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1 :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SymBool) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 Union) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 Union)))))
type Rep (Union a) Source #
Instance details Defined in Grisette.Internal.Core.Data.Union type Rep (Union a) = D1 ('MetaData "Union" "Grisette.Internal.Core.Data.Union" "grisette-0.5.0.0-2ZDAuzWdzg48yPrBcRstUR" 'False) (C1 ('MetaCons "UnionSingle" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "UnionIf" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SymBool) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Union a)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Union a))))))

ifWithLeftMost :: Bool -> SymBool -> Union a -> Union a -> Union a Source #

Build UnionIf with leftmost cache correctly maintained.

Usually you should never directly try to build a UnionIf with its constructor.

ifWithStrategy :: MergingStrategy a -> SymBool -> Union a -> Union a -> Union a Source #

Use a specific strategy to build a UnionIf value.

The merged invariant will be maintained in the result.

fullReconstruct :: MergingStrategy a -> Union a -> Union a Source #

Fully reconstruct a Union to maintain the merged invariant.