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.Core.Data.Union

Contents

The union data structure.

Description

Synopsis

data Union a
- = Single a
- | If a !Bool !SymBool (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 Source #

The default union implementation.

Constructors

Single a	A single value
If	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

Instances

Instances details

Eq1 Union Source #
Instance details Defined in Grisette.Core.Data.Union Methods liftEq :: (a -> b -> Bool) -> Union a -> Union b -> Bool #
Show1 Union Source #
Instance details Defined in Grisette.Core.Data.Union Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Union a -> ShowS # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Union a] -> ShowS #
NFData1 Union Source #
Instance details Defined in Grisette.Core.Data.Union Methods liftRnf :: (a -> ()) -> Union a -> () #
Mergeable1 Union Source #
Instance details Defined in Grisette.Core.Data.Union Methods liftRootStrategy :: MergingStrategy a -> MergingStrategy (Union a) Source #
SimpleMergeable1 Union Source #
Instance details Defined in Grisette.Core.Data.Union Methods liftMrgIte :: (SymBool -> a -> a -> a) -> SymBool -> Union a -> Union a -> Union a Source #
UnionLike Union Source #
Instance details Defined in Grisette.Core.Data.Union Methods single :: a -> Union a Source # unionIf :: SymBool -> Union a -> Union a -> Union a Source # mergeWithStrategy :: MergingStrategy a -> Union a -> Union a Source # mrgIfWithStrategy :: MergingStrategy a -> SymBool -> Union a -> Union a -> Union a Source # mrgSingleWithStrategy :: MergingStrategy a -> a -> Union a Source #
UnionPrjOp Union Source #
Instance details Defined in Grisette.Core.Data.Union Methods singleView :: Union a -> Maybe a Source # ifView :: Union a -> Maybe (SymBool, Union a, Union a) Source # leftMost :: Union a -> a Source #
Generic1 Union Source #
Instance details Defined in Grisette.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 #
Generic (Union a) Source #
Instance details Defined in Grisette.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.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.Core.Data.Union Methods rnf :: Union a -> () #
Eq a => Eq (Union a) Source #
Instance details Defined in Grisette.Core.Data.Union Methods (==) :: Union a -> Union a -> Bool # (/=) :: Union a -> Union a -> Bool #
Mergeable a => Mergeable (Union a) Source #
Instance details Defined in Grisette.Core.Data.Union Methods rootStrategy :: MergingStrategy (Union a) Source #
Mergeable a => SimpleMergeable (Union a) Source #
Instance details Defined in Grisette.Core.Data.Union Methods mrgIte :: SymBool -> Union a -> Union a -> Union a Source #
AllSyms a => AllSyms (Union a) Source #
Instance details Defined in Grisette.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.Core.Data.Union Methods hashWithSalt :: Int -> Union a -> Int # hash :: Union a -> Int #
Lift a => Lift (Union a :: Type) Source #
Instance details Defined in Grisette.Core.Data.Union Methods lift :: Quote m => Union a -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Union a -> Code m (Union a) #
type Rep1 Union Source #
Instance details Defined in Grisette.Core.Data.Union type Rep1 Union = D1 ('MetaData "Union" "Grisette.Core.Data.Union" "grisette-0.2.0.0-CYZZ7WjRTnw1wxrPITB8ce" 'False) (C1 ('MetaCons "Single" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1) :+: C1 ('MetaCons "If" '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.Core.Data.Union type Rep (Union a) = D1 ('MetaData "Union" "Grisette.Core.Data.Union" "grisette-0.2.0.0-CYZZ7WjRTnw1wxrPITB8ce" 'False) (C1 ('MetaCons "Single" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "If" '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 If with leftmost cache correctly maintained.

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

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

Use a specific strategy to build a If 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.