Grisette.Core.Data.Union

The union data structure.

Please consider using UnionM instead.

data Union a

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

Eq1 Union

Defined in Grisette.Core.Data.Union

Methods

liftEq :: (a -> b -> Bool) -> Union a -> Union b -> Bool

Show1 Union

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

Defined in Grisette.Core.Data.Union

Methods

liftRnf :: (a -> ()) -> Union a -> ()

Mergeable1 Union

Defined in Grisette.Core.Data.Union

Methods

liftRootStrategy :: MergingStrategy a -> MergingStrategy (Union a)

SimpleMergeable1 Union

Defined in Grisette.Core.Data.Union

Methods

liftMrgIte :: (SymBool -> a -> a -> a) -> SymBool -> Union a -> Union a -> Union a

UnionLike Union

Defined in Grisette.Core.Data.Union

Methods

single :: a -> Union a

unionIf :: SymBool -> Union a -> Union a -> Union a

mergeWithStrategy :: MergingStrategy a -> Union a -> Union a

mrgIfWithStrategy :: MergingStrategy a -> SymBool -> Union a -> Union a -> Union a

mrgSingleWithStrategy :: MergingStrategy a -> a -> Union a

UnionPrjOp Union

Defined in Grisette.Core.Data.Union

Methods

singleView :: Union a -> Maybe a

ifView :: Union a -> Maybe (SymBool, Union a, Union a)

leftMost :: Union a -> a

Generic1 Union

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)

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)

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)

Defined in Grisette.Core.Data.Union

Methods

rnf :: Union a -> ()

Eq a => Eq (Union a)

Defined in Grisette.Core.Data.Union

Methods

(==) :: Union a -> Union a -> Bool

(/=) :: Union a -> Union a -> Bool

Mergeable a => Mergeable (Union a)

Defined in Grisette.Core.Data.Union

Methods

rootStrategy :: MergingStrategy (Union a)

Mergeable a => SimpleMergeable (Union a)

Defined in Grisette.Core.Data.Union

Methods

mrgIte :: SymBool -> Union a -> Union a -> Union a

AllSyms a => AllSyms (Union a)

Defined in Grisette.Core.Data.Union

Methods

allSymsS :: Union a -> [SomeSym] -> [SomeSym]

allSyms :: Union a -> [SomeSym]

Hashable a => Hashable (Union a)

Defined in Grisette.Core.Data.Union

Methods

hashWithSalt :: Int -> Union a -> Int

hash :: Union a -> Int

Lift a => Lift (Union a :: Type)

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

Defined in Grisette.Core.Data.Union

type Rep1 Union = D1 ('MetaData "Union" "Grisette.Core.Data.Union" "grisette-0.3.0.0-D2Nbhnc0iuRKig0VAC9Xli" '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)

Defined in Grisette.Core.Data.Union

type Rep (Union a) = D1 ('MetaData "Union" "Grisette.Core.Data.Union" "grisette-0.3.0.0-D2Nbhnc0iuRKig0VAC9Xli" '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

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

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

Fully reconstruct a Union to maintain the merged invariant.