grisette-0.6.0.0: Symbolic evaluation as a library
Safe HaskellSafe-Inferred
LanguageHaskell2010

Grisette.Internal.Core.Data.Class.GPretty

Documentation

class GPretty a where Source #

Minimal complete definition

gpretty | gprettyPrec

Methods

gpretty :: a -> Doc ann Source #

gprettyPrec :: Int -> a -> Doc ann Source #

gprettyList :: [a] -> Doc ann Source #

Instances

Instances details
GPretty Int16 Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: Int16 -> Doc ann Source #

gprettyPrec :: Int -> Int16 -> Doc ann Source #

gprettyList :: [Int16] -> Doc ann Source #

GPretty Int32 Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: Int32 -> Doc ann Source #

gprettyPrec :: Int -> Int32 -> Doc ann Source #

gprettyList :: [Int32] -> Doc ann Source #

GPretty Int64 Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: Int64 -> Doc ann Source #

gprettyPrec :: Int -> Int64 -> Doc ann Source #

gprettyList :: [Int64] -> Doc ann Source #

GPretty Int8 Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: Int8 -> Doc ann Source #

gprettyPrec :: Int -> Int8 -> Doc ann Source #

gprettyList :: [Int8] -> Doc ann Source #

GPretty Word16 Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: Word16 -> Doc ann Source #

gprettyPrec :: Int -> Word16 -> Doc ann Source #

gprettyList :: [Word16] -> Doc ann Source #

GPretty Word32 Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: Word32 -> Doc ann Source #

gprettyPrec :: Int -> Word32 -> Doc ann Source #

gprettyList :: [Word32] -> Doc ann Source #

GPretty Word64 Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: Word64 -> Doc ann Source #

gprettyPrec :: Int -> Word64 -> Doc ann Source #

gprettyList :: [Word64] -> Doc ann Source #

GPretty Word8 Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: Word8 -> Doc ann Source #

gprettyPrec :: Int -> Word8 -> Doc ann Source #

gprettyList :: [Word8] -> Doc ann Source #

GPretty ByteString Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

GPretty FPRoundingMode Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

GPretty SymBool Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

GPretty SymFPRoundingMode Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

GPretty SymInteger Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

GPretty Text Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: Text -> Doc ann Source #

gprettyPrec :: Int -> Text -> Doc ann Source #

gprettyList :: [Text] -> Doc ann Source #

GPretty Integer Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

GPretty () Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: () -> Doc ann Source #

gprettyPrec :: Int -> () -> Doc ann Source #

gprettyList :: [()] -> Doc ann Source #

GPretty Bool Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: Bool -> Doc ann Source #

gprettyPrec :: Int -> Bool -> Doc ann Source #

gprettyList :: [Bool] -> Doc ann Source #

GPretty Char Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: Char -> Doc ann Source #

gprettyPrec :: Int -> Char -> Doc ann Source #

gprettyList :: [Char] -> Doc ann Source #

GPretty Double Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: Double -> Doc ann Source #

gprettyPrec :: Int -> Double -> Doc ann Source #

gprettyList :: [Double] -> Doc ann Source #

GPretty Float Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: Float -> Doc ann Source #

gprettyPrec :: Int -> Float -> Doc ann Source #

gprettyList :: [Float] -> Doc ann Source #

GPretty Int Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: Int -> Doc ann Source #

gprettyPrec :: Int -> Int -> Doc ann Source #

gprettyList :: [Int] -> Doc ann Source #

GPretty Word Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: Word -> Doc ann Source #

gprettyPrec :: Int -> Word -> Doc ann Source #

gprettyList :: [Word] -> Doc ann Source #

GPretty a => GPretty (Identity a) Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: Identity a -> Doc ann Source #

gprettyPrec :: Int -> Identity a -> Doc ann Source #

gprettyList :: [Identity a] -> Doc ann Source #

(Generic a, GPretty' (Rep a)) => GPretty (Default a) Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: Default a -> Doc ann Source #

gprettyPrec :: Int -> Default a -> Doc ann Source #

gprettyList :: [Default a] -> Doc ann Source #

GPretty a => GPretty (UnionM a) Source # 
Instance details

Defined in Grisette.Internal.Core.Control.Monad.UnionM

Methods

gpretty :: UnionM a -> Doc ann Source #

gprettyPrec :: Int -> UnionM a -> Doc ann Source #

gprettyList :: [UnionM a] -> Doc ann Source #

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 #

(KnownNat n, 1 <= n) => GPretty (IntN n) Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: IntN n -> Doc ann Source #

gprettyPrec :: Int -> IntN n -> Doc ann Source #

gprettyList :: [IntN n] -> Doc ann Source #

(KnownNat n, 1 <= n) => GPretty (WordN n) Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: WordN n -> Doc ann Source #

gprettyPrec :: Int -> WordN n -> Doc ann Source #

gprettyList :: [WordN n] -> Doc ann Source #

(forall (n :: Nat). (KnownNat n, 1 <= n) => GPretty (bv n)) => GPretty (SomeBV bv) Source # 
Instance details

Defined in Grisette.Internal.SymPrim.SomeBV

Methods

gpretty :: SomeBV bv -> Doc ann Source #

gprettyPrec :: Int -> SomeBV bv -> Doc ann Source #

gprettyList :: [SomeBV bv] -> Doc ann Source #

(KnownNat n, 1 <= n) => GPretty (SymIntN n) Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: SymIntN n -> Doc ann Source #

gprettyPrec :: Int -> SymIntN n -> Doc ann Source #

gprettyList :: [SymIntN n] -> Doc ann Source #

(KnownNat n, 1 <= n) => GPretty (SymWordN n) Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: SymWordN n -> Doc ann Source #

gprettyPrec :: Int -> SymWordN n -> Doc ann Source #

gprettyList :: [SymWordN n] -> Doc ann Source #

GPretty a => GPretty (HashSet a) Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: HashSet a -> Doc ann Source #

gprettyPrec :: Int -> HashSet a -> Doc ann Source #

gprettyList :: [HashSet a] -> Doc ann Source #

GPretty a => GPretty (Maybe a) Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: Maybe a -> Doc ann Source #

gprettyPrec :: Int -> Maybe a -> Doc ann Source #

gprettyList :: [Maybe a] -> Doc ann Source #

GPretty a => GPretty [a] Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: [a] -> Doc ann Source #

gprettyPrec :: Int -> [a] -> Doc ann Source #

gprettyList :: [[a]] -> Doc ann Source #

(GPretty a, GPretty b) => GPretty (Either a b) Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: Either a b -> Doc ann Source #

gprettyPrec :: Int -> Either a b -> Doc ann Source #

gprettyList :: [Either a b] -> Doc ann Source #

ValidFP eb sb => GPretty (FP eb sb) Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: FP eb sb -> Doc ann Source #

gprettyPrec :: Int -> FP eb sb -> Doc ann Source #

gprettyList :: [FP eb sb] -> Doc ann Source #

ValidFP eb sb => GPretty (SymFP eb sb) Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: SymFP eb sb -> Doc ann Source #

gprettyPrec :: Int -> SymFP eb sb -> Doc ann Source #

gprettyList :: [SymFP eb sb] -> Doc ann Source #

(SupportedPrim ca, SupportedPrim cb, LinkedRep ca sa, LinkedRep cb sb) => GPretty (sa -~> sb) Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: (sa -~> sb) -> Doc ann Source #

gprettyPrec :: Int -> (sa -~> sb) -> Doc ann Source #

gprettyList :: [sa -~> sb] -> Doc ann Source #

(SupportedPrim ca, SupportedPrim cb, LinkedRep ca sa, LinkedRep cb sb) => GPretty (sa =~> sb) Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: (sa =~> sb) -> Doc ann Source #

gprettyPrec :: Int -> (sa =~> sb) -> Doc ann Source #

gprettyList :: [sa =~> sb] -> Doc ann Source #

GPretty (m (Maybe a)) => GPretty (MaybeT m a) Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: MaybeT m a -> Doc ann Source #

gprettyPrec :: Int -> MaybeT m a -> Doc ann Source #

gprettyList :: [MaybeT m a] -> Doc ann Source #

(GPretty k, GPretty v) => GPretty (HashMap k v) Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: HashMap k v -> Doc ann Source #

gprettyPrec :: Int -> HashMap k v -> Doc ann Source #

gprettyList :: [HashMap k v] -> Doc ann Source #

(GPretty a, GPretty b) => GPretty (a, b) Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: (a, b) -> Doc ann Source #

gprettyPrec :: Int -> (a, b) -> Doc ann Source #

gprettyList :: [(a, b)] -> Doc ann Source #

GPretty (m (Either e a)) => GPretty (ExceptT e m a) Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: ExceptT e m a -> Doc ann Source #

gprettyPrec :: Int -> ExceptT e m a -> Doc ann Source #

gprettyList :: [ExceptT e m a] -> Doc ann Source #

GPretty (m a) => GPretty (IdentityT m a) Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: IdentityT m a -> Doc ann Source #

gprettyPrec :: Int -> IdentityT m a -> Doc ann Source #

gprettyList :: [IdentityT m a] -> Doc ann Source #

GPretty (m (a, w)) => GPretty (WriterT w m a) Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: WriterT w m a -> Doc ann Source #

gprettyPrec :: Int -> WriterT w m a -> Doc ann Source #

gprettyList :: [WriterT w m a] -> Doc ann Source #

GPretty (m (a, w)) => GPretty (WriterT w m a) Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: WriterT w m a -> Doc ann Source #

gprettyPrec :: Int -> WriterT w m a -> Doc ann Source #

gprettyList :: [WriterT w m a] -> Doc ann Source #

(GPretty a, GPretty b, GPretty c) => GPretty (a, b, c) Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: (a, b, c) -> Doc ann Source #

gprettyPrec :: Int -> (a, b, c) -> Doc ann Source #

gprettyList :: [(a, b, c)] -> Doc ann Source #

(GPretty (f a), GPretty (g a)) => GPretty (Sum f g a) Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: Sum f g a -> Doc ann Source #

gprettyPrec :: Int -> Sum f g a -> Doc ann Source #

gprettyList :: [Sum f g a] -> Doc ann Source #

(GPretty a, GPretty b, GPretty c, GPretty d) => GPretty (a, b, c, d) Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: (a, b, c, d) -> Doc ann Source #

gprettyPrec :: Int -> (a, b, c, d) -> Doc ann Source #

gprettyList :: [(a, b, c, d)] -> Doc ann Source #

(GPretty a, GPretty b, GPretty c, GPretty d, GPretty e) => GPretty (a, b, c, d, e) Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: (a, b, c, d, e) -> Doc ann Source #

gprettyPrec :: Int -> (a, b, c, d, e) -> Doc ann Source #

gprettyList :: [(a, b, c, d, e)] -> Doc ann Source #

(GPretty a, GPretty b, GPretty c, GPretty d, GPretty e, GPretty f) => GPretty (a, b, c, d, e, f) Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: (a, b, c, d, e, f) -> Doc ann Source #

gprettyPrec :: Int -> (a, b, c, d, e, f) -> Doc ann Source #

gprettyList :: [(a, b, c, d, e, f)] -> Doc ann Source #

(GPretty a, GPretty b, GPretty c, GPretty d, GPretty e, GPretty f, GPretty g) => GPretty (a, b, c, d, e, f, g) Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: (a, b, c, d, e, f, g) -> Doc ann Source #

gprettyPrec :: Int -> (a, b, c, d, e, f, g) -> Doc ann Source #

gprettyList :: [(a, b, c, d, e, f, g)] -> Doc ann Source #

(GPretty a, GPretty b, GPretty c, GPretty d, GPretty e, GPretty f, GPretty g, GPretty h) => GPretty (a, b, c, d, e, f, g, h) Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.GPretty

Methods

gpretty :: (a, b, c, d, e, f, g, h) -> Doc ann Source #

gprettyPrec :: Int -> (a, b, c, d, e, f, g, h) -> Doc ann Source #

gprettyList :: [(a, b, c, d, e, f, g, h)] -> Doc ann Source #

groupedEnclose :: Doc ann -> Doc ann -> Doc ann -> Doc ann Source #

condEnclose :: Bool -> Doc ann -> Doc ann -> Doc ann -> Doc ann Source #

prettyWithConstructor :: Int -> Doc ann -> [Doc ann] -> Doc ann Source #