Copyright	(c) Galois Inc 2017
Maintainer	Joe Hendrix <jhendrix@galois.com>
Safe Haskell	None
Language	Haskell2010

Data.Macaw.CFG

Description

This exports the main CFG modules

Documentation

module Data.Macaw.CFG.Core

module Data.Macaw.CFG.App

module Data.Macaw.Memory

data FloatInfoRepr (fi :: FloatInfo) where Source #

Constructors

HalfFloatRepr :: FloatInfoRepr 'HalfFloat
SingleFloatRepr :: FloatInfoRepr 'SingleFloat
DoubleFloatRepr :: FloatInfoRepr 'DoubleFloat
QuadFloatRepr :: FloatInfoRepr 'QuadFloat
X86_80FloatRepr :: FloatInfoRepr 'X86_80Float

Instances

Instances details

TestEquality FloatInfoRepr Source #
Instance details Defined in Data.Macaw.Types Methods testEquality :: forall (a :: FloatInfo) (b :: FloatInfo). FloatInfoRepr a -> FloatInfoRepr b -> Maybe (a :~: b) #
HashableF FloatInfoRepr Source #
Instance details Defined in Data.Macaw.Types Methods hashWithSaltF :: forall (tp :: FloatInfo). Int -> FloatInfoRepr tp -> Int hashF :: forall (tp :: FloatInfo). FloatInfoRepr tp -> Int
OrdF FloatInfoRepr Source #
Instance details Defined in Data.Macaw.Types Methods compareF :: forall (x :: FloatInfo) (y :: FloatInfo). FloatInfoRepr x -> FloatInfoRepr y -> OrderingF x y leqF :: forall (x :: FloatInfo) (y :: FloatInfo). FloatInfoRepr x -> FloatInfoRepr y -> Bool ltF :: forall (x :: FloatInfo) (y :: FloatInfo). FloatInfoRepr x -> FloatInfoRepr y -> Bool geqF :: forall (x :: FloatInfo) (y :: FloatInfo). FloatInfoRepr x -> FloatInfoRepr y -> Bool gtF :: forall (x :: FloatInfo) (y :: FloatInfo). FloatInfoRepr x -> FloatInfoRepr y -> Bool
ShowF FloatInfoRepr Source #
Instance details Defined in Data.Macaw.Types Methods withShow :: forall p q (tp :: FloatInfo) a. p FloatInfoRepr -> q tp -> (Show (FloatInfoRepr tp) => a) -> a showF :: forall (tp :: FloatInfo). FloatInfoRepr tp -> String showsPrecF :: forall (tp :: FloatInfo). Int -> FloatInfoRepr tp -> String -> String
KnownRepr FloatInfoRepr DoubleFloat Source #
Instance details Defined in Data.Macaw.Types Methods knownRepr :: FloatInfoRepr DoubleFloat
KnownRepr FloatInfoRepr HalfFloat Source #
Instance details Defined in Data.Macaw.Types Methods knownRepr :: FloatInfoRepr HalfFloat
KnownRepr FloatInfoRepr QuadFloat Source #
Instance details Defined in Data.Macaw.Types Methods knownRepr :: FloatInfoRepr QuadFloat
KnownRepr FloatInfoRepr SingleFloat Source #
Instance details Defined in Data.Macaw.Types Methods knownRepr :: FloatInfoRepr SingleFloat
KnownRepr FloatInfoRepr X86_80Float Source #
Instance details Defined in Data.Macaw.Types Methods knownRepr :: FloatInfoRepr X86_80Float
Lift (FloatInfoRepr fi :: Type) Source #
Instance details Defined in Data.Macaw.Types Methods lift :: Quote m => FloatInfoRepr fi -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => FloatInfoRepr fi -> Code m (FloatInfoRepr fi) #
Show (FloatInfoRepr fi) Source #
Instance details Defined in Data.Macaw.Types Methods showsPrec :: Int -> FloatInfoRepr fi -> ShowS # show :: FloatInfoRepr fi -> String # showList :: [FloatInfoRepr fi] -> ShowS #
Eq (FloatInfoRepr fi) Source #
Instance details Defined in Data.Macaw.Types Methods (==) :: FloatInfoRepr fi -> FloatInfoRepr fi -> Bool # (/=) :: FloatInfoRepr fi -> FloatInfoRepr fi -> Bool #
Hashable (FloatInfoRepr fi) Source #
Instance details Defined in Data.Macaw.Types Methods hashWithSalt :: Int -> FloatInfoRepr fi -> Int hash :: FloatInfoRepr fi -> Int
Pretty (FloatInfoRepr fi) Source #
Instance details Defined in Data.Macaw.Types Methods pretty :: FloatInfoRepr fi -> Doc ann prettyList :: [FloatInfoRepr fi] -> Doc ann