Safe Haskell	None
Language	Haskell2010

Data.SPointer

Description

Documentation

data SPointer Source #

Constructors

Concrete (NESet SimpleExpr)
Bases (NESet PointerBase)
Sources (NESet BotSrc)
Top

Instances

Instances details

Eq SPointer Source #
Instance details Defined in Data.SPointer Methods (==) :: SPointer -> SPointer -> Bool # (/=) :: SPointer -> SPointer -> Bool #
Ord SPointer Source #
Instance details Defined in Data.SPointer Methods compare :: SPointer -> SPointer -> Ordering # (<) :: SPointer -> SPointer -> Bool # (<=) :: SPointer -> SPointer -> Bool # (>) :: SPointer -> SPointer -> Bool # (>=) :: SPointer -> SPointer -> Bool # max :: SPointer -> SPointer -> SPointer # min :: SPointer -> SPointer -> SPointer #
Show SPointer Source #
Instance details Defined in Data.SPointer Methods showsPrec :: Int -> SPointer -> ShowS # show :: SPointer -> String # showList :: [SPointer] -> ShowS #
Generic SPointer Source #
Instance details Defined in Data.SPointer Associated Types type Rep SPointer :: Type -> Type # Methods from :: SPointer -> Rep SPointer x # to :: Rep SPointer x -> SPointer #
Serialize SPointer Source #
Instance details Defined in Data.SPointer Methods put :: Putter SPointer # get :: Get SPointer #
NFData SPointer Source #
Instance details Defined in Data.SPointer Methods rnf :: SPointer -> () #
type Rep SPointer Source #
Instance details Defined in Data.SPointer type Rep SPointer = D1 ('MetaData "SPointer" "Data.SPointer" "foxdec-0.1.0.0-F8J4QQ8bsQELJyhc4kJb0m" 'False) ((C1 ('MetaCons "Concrete" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NESet SimpleExpr))) :+: C1 ('MetaCons "Bases" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NESet PointerBase)))) :+: (C1 ('MetaCons "Sources" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NESet BotSrc))) :+: C1 ('MetaCons "Top" 'PrefixI 'False) (U1 :: Type -> Type)))

show_set :: (Foldable t, Show a) => t a -> String Source #

isConcrete :: SPointer -> Bool Source #