Grisette.Internal.Core.Data.Class.GPretty

Documentation

class GPretty a where

Minimal complete definition

gpretty | gprettyPrec

Methods

gpretty :: a -> Doc ann

gprettyPrec :: Int -> a -> Doc ann

gprettyList :: [a] -> Doc ann

Instances

GPretty Int16

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

Methods

gpretty :: Int16 -> Doc ann

gprettyPrec :: Int -> Int16 -> Doc ann

gprettyList :: [Int16] -> Doc ann

GPretty Int32

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

Methods

gpretty :: Int32 -> Doc ann

gprettyPrec :: Int -> Int32 -> Doc ann

gprettyList :: [Int32] -> Doc ann

GPretty Int64

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

Methods

gpretty :: Int64 -> Doc ann

gprettyPrec :: Int -> Int64 -> Doc ann

gprettyList :: [Int64] -> Doc ann

GPretty Int8

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

Methods

gpretty :: Int8 -> Doc ann

gprettyPrec :: Int -> Int8 -> Doc ann

gprettyList :: [Int8] -> Doc ann

GPretty Word16

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

Methods

gpretty :: Word16 -> Doc ann

gprettyPrec :: Int -> Word16 -> Doc ann

gprettyList :: [Word16] -> Doc ann

GPretty Word32

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

Methods

gpretty :: Word32 -> Doc ann

gprettyPrec :: Int -> Word32 -> Doc ann

gprettyList :: [Word32] -> Doc ann

GPretty Word64

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

Methods

gpretty :: Word64 -> Doc ann

gprettyPrec :: Int -> Word64 -> Doc ann

gprettyList :: [Word64] -> Doc ann

GPretty Word8

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

Methods

gpretty :: Word8 -> Doc ann

gprettyPrec :: Int -> Word8 -> Doc ann

gprettyList :: [Word8] -> Doc ann

GPretty ByteString

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

Methods

gpretty :: ByteString -> Doc ann

gprettyPrec :: Int -> ByteString -> Doc ann

gprettyList :: [ByteString] -> Doc ann

GPretty FPRoundingMode

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

Methods

gpretty :: FPRoundingMode -> Doc ann

gprettyPrec :: Int -> FPRoundingMode -> Doc ann

gprettyList :: [FPRoundingMode] -> Doc ann

GPretty SymBool

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

Methods

gpretty :: SymBool -> Doc ann

gprettyPrec :: Int -> SymBool -> Doc ann

gprettyList :: [SymBool] -> Doc ann

GPretty SymFPRoundingMode

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

Methods

gpretty :: SymFPRoundingMode -> Doc ann

gprettyPrec :: Int -> SymFPRoundingMode -> Doc ann

gprettyList :: [SymFPRoundingMode] -> Doc ann

GPretty SymInteger

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

Methods

gpretty :: SymInteger -> Doc ann

gprettyPrec :: Int -> SymInteger -> Doc ann

gprettyList :: [SymInteger] -> Doc ann

GPretty Text

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

Methods

gpretty :: Text -> Doc ann

gprettyPrec :: Int -> Text -> Doc ann

gprettyList :: [Text] -> Doc ann

GPretty Integer

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

Methods

gpretty :: Integer -> Doc ann

gprettyPrec :: Int -> Integer -> Doc ann

gprettyList :: [Integer] -> Doc ann

GPretty ()

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

Methods

gpretty :: () -> Doc ann

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

gprettyList :: [()] -> Doc ann

GPretty Bool

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

Methods

gpretty :: Bool -> Doc ann

gprettyPrec :: Int -> Bool -> Doc ann

gprettyList :: [Bool] -> Doc ann

GPretty Char

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

Methods

gpretty :: Char -> Doc ann

gprettyPrec :: Int -> Char -> Doc ann

gprettyList :: [Char] -> Doc ann

GPretty Double

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

Methods

gpretty :: Double -> Doc ann

gprettyPrec :: Int -> Double -> Doc ann

gprettyList :: [Double] -> Doc ann

GPretty Float

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

Methods

gpretty :: Float -> Doc ann

gprettyPrec :: Int -> Float -> Doc ann

gprettyList :: [Float] -> Doc ann

GPretty Int

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

Methods

gpretty :: Int -> Doc ann

gprettyPrec :: Int -> Int -> Doc ann

gprettyList :: [Int] -> Doc ann

GPretty Word

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

Methods

gpretty :: Word -> Doc ann

gprettyPrec :: Int -> Word -> Doc ann

gprettyList :: [Word] -> Doc ann

GPretty a => GPretty (Identity a)

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

Methods

gpretty :: Identity a -> Doc ann

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

gprettyList :: [Identity a] -> Doc ann

(Generic a, GPretty' (Rep a)) => GPretty (Default a)

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

Methods

gpretty :: Default a -> Doc ann

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

gprettyList :: [Default a] -> Doc ann

GPretty a => GPretty (UnionM a)

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

Methods

gpretty :: UnionM a -> Doc ann

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

gprettyList :: [UnionM a] -> Doc ann

GPretty a => GPretty (Union a)

Defined in Grisette.Internal.Core.Data.Union

Methods

gpretty :: Union a -> Doc ann

gprettyPrec :: Int -> Union a -> Doc ann

gprettyList :: [Union a] -> Doc ann

(KnownNat n, 1 <= n) => GPretty (IntN n)

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

Methods

gpretty :: IntN n -> Doc ann

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

gprettyList :: [IntN n] -> Doc ann

(KnownNat n, 1 <= n) => GPretty (WordN n)

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

Methods

gpretty :: WordN n -> Doc ann

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

gprettyList :: [WordN n] -> Doc ann

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

Defined in Grisette.Internal.SymPrim.SomeBV

Methods

gpretty :: SomeBV bv -> Doc ann

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

gprettyList :: [SomeBV bv] -> Doc ann

(KnownNat n, 1 <= n) => GPretty (SymIntN n)

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

Methods

gpretty :: SymIntN n -> Doc ann

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

gprettyList :: [SymIntN n] -> Doc ann

(KnownNat n, 1 <= n) => GPretty (SymWordN n)

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

Methods

gpretty :: SymWordN n -> Doc ann

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

gprettyList :: [SymWordN n] -> Doc ann

GPretty a => GPretty (HashSet a)

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

Methods

gpretty :: HashSet a -> Doc ann

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

gprettyList :: [HashSet a] -> Doc ann

GPretty a => GPretty (Maybe a)

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

Methods

gpretty :: Maybe a -> Doc ann

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

gprettyList :: [Maybe a] -> Doc ann

GPretty a => GPretty [a]

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

Methods

gpretty :: [a] -> Doc ann

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

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

(GPretty a, GPretty b) => GPretty (Either a b)

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

Methods

gpretty :: Either a b -> Doc ann

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

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

ValidFP eb sb => GPretty (FP eb sb)

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

Methods

gpretty :: FP eb sb -> Doc ann

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

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

ValidFP eb sb => GPretty (SymFP eb sb)

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

Methods

gpretty :: SymFP eb sb -> Doc ann

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

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

(SupportedPrim ca, SupportedPrim cb, LinkedRep ca sa, LinkedRep cb sb) => GPretty (sa -~> sb)

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

Methods

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

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

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

(SupportedPrim ca, SupportedPrim cb, LinkedRep ca sa, LinkedRep cb sb) => GPretty (sa =~> sb)

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

Methods

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

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

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

GPretty (m (Maybe a)) => GPretty (MaybeT m a)

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

Methods

gpretty :: MaybeT m a -> Doc ann

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

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

(GPretty k, GPretty v) => GPretty (HashMap k v)

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

Methods

gpretty :: HashMap k v -> Doc ann

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

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

(GPretty a, GPretty b) => GPretty (a, b)

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

Methods

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

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

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

GPretty (m (Either e a)) => GPretty (ExceptT e m a)

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

Methods

gpretty :: ExceptT e m a -> Doc ann

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

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

GPretty (m a) => GPretty (IdentityT m a)

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

Methods

gpretty :: IdentityT m a -> Doc ann

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

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

GPretty (m (a, w)) => GPretty (WriterT w m a)

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

Methods

gpretty :: WriterT w m a -> Doc ann

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

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

GPretty (m (a, w)) => GPretty (WriterT w m a)

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

Methods

gpretty :: WriterT w m a -> Doc ann

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

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

(GPretty a, GPretty b, GPretty c) => GPretty (a, b, c)

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

Methods

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

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

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

(GPretty (f a), GPretty (g a)) => GPretty (Sum f g a)

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

Methods

gpretty :: Sum f g a -> Doc ann

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

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

(GPretty a, GPretty b, GPretty c, GPretty d) => GPretty (a, b, c, d)

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

Methods

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

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

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

(GPretty a, GPretty b, GPretty c, GPretty d, GPretty e) => GPretty (a, b, c, d, e)

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

Methods

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

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

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

(GPretty a, GPretty b, GPretty c, GPretty d, GPretty e, GPretty f) => GPretty (a, b, c, d, e, f)

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

Methods

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

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

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

(GPretty a, GPretty b, GPretty c, GPretty d, GPretty e, GPretty f, GPretty g) => GPretty (a, b, c, d, e, f, g)

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

Methods

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

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

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

(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)

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

Methods

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

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

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

groupedEnclose :: Doc ann -> Doc ann -> Doc ann -> Doc ann

condEnclose :: Bool -> Doc ann -> Doc ann -> Doc ann -> Doc ann

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