Safe Haskell	Safe-Inferred
Language	Haskell2010

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 Methods gpretty :: ByteString -> Doc ann Source # gprettyPrec :: Int -> ByteString -> Doc ann Source # gprettyList :: [ByteString] -> Doc ann Source #
GPretty SymBool Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.GPretty Methods gpretty :: SymBool -> Doc ann Source # gprettyPrec :: Int -> SymBool -> Doc ann Source # gprettyList :: [SymBool] -> Doc ann Source #
GPretty SymInteger Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.GPretty Methods gpretty :: SymInteger -> Doc ann Source # gprettyPrec :: Int -> SymInteger -> Doc ann Source # gprettyList :: [SymInteger] -> Doc ann Source #
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 Methods gpretty :: Integer -> Doc ann Source # gprettyPrec :: Int -> Integer -> Doc ann Source # gprettyList :: [Integer] -> Doc ann Source #
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 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 (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 #
(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 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 #