Grisette.Internal.Core.Data.Class.ToSym

Converting to symbolic values

class Mergeable b => ToSym a b where

Convert a concrete value to symbolic value.

Methods

toSym :: a -> b

Convert a concrete value to symbolic value.

>>> toSym False :: SymBool
false

>>> toSym [False, True] :: [SymBool]
[false,true]

Instances

ToSym All All

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

Methods

toSym :: All -> All

ToSym Any Any

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

Methods

toSym :: Any -> Any

ToSym Int16 Int16

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

Methods

toSym :: Int16 -> Int16

ToSym Int32 Int32

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

Methods

toSym :: Int32 -> Int32

ToSym Int64 Int64

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

Methods

toSym :: Int64 -> Int64

ToSym Int8 Int8

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

Methods

toSym :: Int8 -> Int8

ToSym Rational SymAlgReal

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

Methods

toSym :: Rational -> SymAlgReal

ToSym Word16 Word16

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

Methods

toSym :: Word16 -> Word16

ToSym Word32 Word32

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

Methods

toSym :: Word32 -> Word32

ToSym Word64 Word64

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

Methods

toSym :: Word64 -> Word64

ToSym Word8 Word8

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

Methods

toSym :: Word8 -> Word8

ToSym ByteString ByteString

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

Methods

toSym :: ByteString -> ByteString

ToSym Ordering Ordering

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

Methods

toSym :: Ordering -> Ordering

ToSym AssertionError AssertionError

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

Methods

toSym :: AssertionError -> AssertionError

ToSym VerificationConditions VerificationConditions

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

Methods

toSym :: VerificationConditions -> VerificationConditions

ToSym AlgReal SymAlgReal

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

Methods

toSym :: AlgReal -> SymAlgReal

ToSym FPRoundingMode FPRoundingMode

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

Methods

toSym :: FPRoundingMode -> FPRoundingMode

ToSym FPRoundingMode SymFPRoundingMode

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

Methods

toSym :: FPRoundingMode -> SymFPRoundingMode

ToSym NotRepresentableFPError NotRepresentableFPError

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

Methods

toSym :: NotRepresentableFPError -> NotRepresentableFPError

ToSym SomeBVException SomeBVException

Defined in Grisette.Internal.SymPrim.SomeBV

Methods

toSym :: SomeBVException -> SomeBVException

ToSym SymAlgReal SymAlgReal

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

Methods

toSym :: SymAlgReal -> SymAlgReal

ToSym SymBool SymBool

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

Methods

toSym :: SymBool -> SymBool

ToSym SymFPRoundingMode SymFPRoundingMode

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

Methods

toSym :: SymFPRoundingMode -> SymFPRoundingMode

ToSym SymInteger SymInteger

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

Methods

toSym :: SymInteger -> SymInteger

ToSym Text Text

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

Methods

toSym :: Text -> Text

ToSym Integer SymInteger

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

Methods

toSym :: Integer -> SymInteger

ToSym Integer Integer

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

Methods

toSym :: Integer -> Integer

ToSym () ()

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

Methods

toSym :: () -> ()

ToSym Bool SymBool

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

Methods

toSym :: Bool -> SymBool

ToSym Bool Bool

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

Methods

toSym :: Bool -> Bool

ToSym Char Char

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

Methods

toSym :: Char -> Char

ToSym Double SymFP64

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

Methods

toSym :: Double -> SymFP64

ToSym Double Double

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

Methods

toSym :: Double -> Double

ToSym Float SymFP32

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

Methods

toSym :: Float -> SymFP32

ToSym Float Float

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

Methods

toSym :: Float -> Float

ToSym Int Int

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

Methods

toSym :: Int -> Int

ToSym Word Word

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

Methods

toSym :: Word -> Word

Mergeable a => ToSym a a

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

Methods

toSym :: a -> a

ToSym Int16 (SymIntN 16)

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

Methods

toSym :: Int16 -> SymIntN 16

ToSym Int32 (SymIntN 32)

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

Methods

toSym :: Int32 -> SymIntN 32

ToSym Int64 (SymIntN 64)

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

Methods

toSym :: Int64 -> SymIntN 64

ToSym Int8 (SymIntN 8)

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

Methods

toSym :: Int8 -> SymIntN 8

ToSym Word16 (SymWordN 16)

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

Methods

toSym :: Word16 -> SymWordN 16

ToSym Word32 (SymWordN 32)

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

Methods

toSym :: Word32 -> SymWordN 32

ToSym Word64 (SymWordN 64)

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

Methods

toSym :: Word64 -> SymWordN 64

ToSym Word8 (SymWordN 8)

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

Methods

toSym :: Word8 -> SymWordN 8

ToSym Int (SymIntN 64)

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

Methods

toSym :: Int -> SymIntN 64

ToSym Word (SymWordN 64)

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

Methods

toSym :: Word -> SymWordN 64

ToSym a b => ToSym a (Identity b)

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

Methods

toSym :: a -> Identity b

(Generic a, Generic b, GToSym Arity0 (Rep a) (Rep b), GMergeable Arity0 (Rep b)) => ToSym a (Default b)

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

Methods

toSym :: a -> Default b

(ToSym a b, Mergeable b) => ToSym a (Union b)

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

Methods

toSym :: a -> Union b

ToSym a b => ToSym (Identity a) b

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

Methods

toSym :: Identity a -> b

ToSym (Union Integer) SymInteger

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

Methods

toSym :: Union Integer -> SymInteger

ToSym (Union Bool) SymBool

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

Methods

toSym :: Union Bool -> SymBool

ToSym a b => ToSym (Identity a) (Identity b)

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

Methods

toSym :: Identity a -> Identity b

ToSym a_1 a_2 => ToSym (First a_1) (First a_2)

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

Methods

toSym :: First a_1 -> First a_2

ToSym a_1 a_2 => ToSym (Last a_1) (Last a_2)

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

Methods

toSym :: Last a_1 -> Last a_2

ToSym a_1 a_2 => ToSym (Down a_1) (Down a_2)

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

Methods

toSym :: Down a_1 -> Down a_2

ToSym a_1 a_2 => ToSym (Dual a_1) (Dual a_2)

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

Methods

toSym :: Dual a_1 -> Dual a_2

ToSym a_1 a_2 => ToSym (Product a_1) (Product a_2)

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

Methods

toSym :: Product a_1 -> Product a_2

ToSym a_1 a_2 => ToSym (Sum a_1) (Sum a_2)

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

Methods

toSym :: Sum a_1 -> Sum a_2

ToSym p0 p => ToSym (Par1 p0) (Par1 p)

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

Methods

toSym :: Par1 p0 -> Par1 p

(Integral b, Typeable b, Show b, ToSym a b) => ToSym (Ratio a) (Ratio b)

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

Methods

toSym :: Ratio a -> Ratio b

(KnownNat n, 1 <= n) => ToSym (Union (IntN n)) (SymIntN n)

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

Methods

toSym :: Union (IntN n) -> SymIntN n

(KnownNat n, 1 <= n) => ToSym (Union (WordN n)) (SymWordN n)

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

Methods

toSym :: Union (WordN n) -> SymWordN n

ToSym a b => ToSym (Union a) (Union b)

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

Methods

toSym :: Union a -> Union b

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

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

Methods

toSym :: IntN n -> IntN n

(KnownNat n, 1 <= n) => ToSym (IntN n) (SymIntN n)

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

Methods

toSym :: IntN n -> SymIntN n

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

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

Methods

toSym :: WordN n -> WordN n

(KnownNat n, 1 <= n) => ToSym (WordN n) (SymWordN n)

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

Methods

toSym :: WordN n -> SymWordN n

(forall (n :: Nat). (KnownNat n, 1 <= n) => ToSym (cbv n) (sbv n)) => ToSym (SomeBV cbv) (SomeBV sbv)

Defined in Grisette.Internal.SymPrim.SomeBV

Methods

toSym :: SomeBV cbv -> SomeBV sbv

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

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

Methods

toSym :: SymIntN n -> SymIntN n

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

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

Methods

toSym :: SymWordN n -> SymWordN n

ToSym a_1 a_2 => ToSym (Maybe a_1) (Maybe a_2)

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

Methods

toSym :: Maybe a_1 -> Maybe a_2

ToSym a_1 a_2 => ToSym [a_1] [a_2]

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

Methods

toSym :: [a_1] -> [a_2]

(SupportedPrim (ca --> cb), SupportedNonFuncPrim ca, LinkedRep ca sa, LinkedRep cb sb) => ToSym (Union (ca --> cb)) (sa -~> sb)

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

Methods

toSym :: Union (ca --> cb) -> sa -~> sb

(SupportedPrim (ca =-> cb), SupportedNonFuncPrim ca, LinkedRep ca sa, LinkedRep cb sb) => ToSym (Union (ca =-> cb)) (sa =~> sb)

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

Methods

toSym :: Union (ca =-> cb) -> sa =~> sb

(Generic1 f1, Generic1 f2, GToSym Arity1 (Rep1 f1) (Rep1 f2), ToSym a b, GMergeable Arity1 (Rep1 f2)) => ToSym (f1 a) (Default1 f2 b)

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

Methods

toSym :: f1 a -> Default1 f2 b

(ToSym a_1 a_2, ToSym b_1 b_2) => ToSym (Either a_1 b_1) (Either a_2 b_2)

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

Methods

toSym :: Either a_1 b_1 -> Either a_2 b_2

(ToSym e1 e2, ToSym a1 a2) => ToSym (Either e1 a1) (CBMCEither e2 a2)

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

Methods

toSym :: Either e1 a1 -> CBMCEither e2 a2

ToSym (U1 p0) (U1 p)

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

Methods

toSym :: U1 p0 -> U1 p

ToSym (V1 p0) (V1 p)

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

Methods

toSym :: V1 p0 -> V1 p

(ToSym e1 e2, ToSym a1 a2) => ToSym (CBMCEither e1 a1) (Either e2 a2)

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

Methods

toSym :: CBMCEither e1 a1 -> Either e2 a2

(ToSym e1 e2, ToSym a1 a2) => ToSym (CBMCEither e1 a1) (CBMCEither e2 a2)

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

Methods

toSym :: CBMCEither e1 a1 -> CBMCEither e2 a2

ValidFP eb sb => ToSym (FP eb sb) (FP eb sb)

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

Methods

toSym :: FP eb sb -> FP eb sb

ValidFP eb sb => ToSym (FP eb sb) (SymFP eb sb)

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

Methods

toSym :: FP eb sb -> SymFP eb sb

ToSym (a --> b) (a --> b)

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

Methods

toSym :: (a --> b) -> a --> b

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

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

Methods

toSym :: (ca --> cb) -> sa -~> sb

ValidFP eb sb => ToSym (SymFP eb sb) (SymFP eb sb)

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

Methods

toSym :: SymFP eb sb -> SymFP eb sb

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

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

Methods

toSym :: (sa -~> sb) -> sa -~> sb

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

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

Methods

toSym :: (sa =~> sb) -> sa =~> sb

ToSym (a =-> b) (a =-> b)

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

Methods

toSym :: (a =-> b) -> a =-> b

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

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

Methods

toSym :: (ca =-> cb) -> sa =~> sb

(ToSym1 m1 m2, ToSym a b) => ToSym (MaybeT m1 a) (MaybeT m2 b)

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

Methods

toSym :: MaybeT m1 a -> MaybeT m2 b

(ToSym a_1 a_2, ToSym b_1 b_2) => ToSym (a_1, b_1) (a_2, b_2)

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

Methods

toSym :: (a_1, b_1) -> (a_2, b_2)

(ToSym b d, ToSym c a) => ToSym (a -> b) (c -> d)

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

Methods

toSym :: (a -> b) -> c -> d

ToSym a0 a => ToSym (Const a0 b0) (Const a b)

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

Methods

toSym :: Const a0 b0 -> Const a b

ToSym (f0 a0) (f a) => ToSym (Ap f0 a0) (Ap f a)

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

Methods

toSym :: Ap f0 a0 -> Ap f a

ToSym (f0 a0) (f a) => ToSym (Alt f0 a0) (Alt f a)

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

Methods

toSym :: Alt f0 a0 -> Alt f a

ToSym (f0 p0) (f p) => ToSym (Rec1 f0 p0) (Rec1 f p)

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

Methods

toSym :: Rec1 f0 p0 -> Rec1 f p

(ToSym e1 e2, ToSym a b, ToSym1 m1 m2) => ToSym (CBMCExceptT e1 m1 a) (CBMCExceptT e2 m2 b)

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

Methods

toSym :: CBMCExceptT e1 m1 a -> CBMCExceptT e2 m2 b

(ToSym1 m1 m2, ToSym e1 e2, ToSym a b) => ToSym (ExceptT e1 m1 a) (ExceptT e2 m2 b)

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

Methods

toSym :: ExceptT e1 m1 a -> ExceptT e2 m2 b

(ToSym1 m m1, ToSym a b) => ToSym (IdentityT m a) (IdentityT m1 b)

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

Methods

toSym :: IdentityT m a -> IdentityT m1 b

(ToSym s2 s1, ToSym1 m1 m2, ToSym a1 a2) => ToSym (ReaderT s1 m1 a1) (ReaderT s2 m2 a2)

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

Methods

toSym :: ReaderT s1 m1 a1 -> ReaderT s2 m2 a2

(ToSym1 m1 m2, ToSym a1 a2, Mergeable s) => ToSym (StateT s m1 a1) (StateT s m2 a2)

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

Methods

toSym :: StateT s m1 a1 -> StateT s m2 a2

(ToSym1 m1 m2, ToSym a1 a2, Mergeable s) => ToSym (StateT s m1 a1) (StateT s m2 a2)

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

Methods

toSym :: StateT s m1 a1 -> StateT s m2 a2

(ToSym1 m1 m2, ToSym a b, ToSym s1 s2) => ToSym (WriterT s1 m1 a) (WriterT s2 m2 b)

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

Methods

toSym :: WriterT s1 m1 a -> WriterT s2 m2 b

(ToSym1 m1 m2, ToSym a b, ToSym s1 s2) => ToSym (WriterT s1 m1 a) (WriterT s2 m2 b)

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

Methods

toSym :: WriterT s1 m1 a -> WriterT s2 m2 b

(ToSym a_1 a_2, ToSym b_1 b_2, ToSym c_1 c_2) => ToSym (a_1, b_1, c_1) (a_2, b_2, c_2)

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

Methods

toSym :: (a_1, b_1, c_1) -> (a_2, b_2, c_2)

(ToSym (l0 a0) (l a), ToSym (r0 a0) (r a)) => ToSym (Product l0 r0 a0) (Product l r a)

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

Methods

toSym :: Product l0 r0 a0 -> Product l r a

(ToSym (l0 a0) (l a), ToSym (r0 a0) (r a)) => ToSym (Sum l0 r0 a0) (Sum l r a)

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

Methods

toSym :: Sum l0 r0 a0 -> Sum l r a

(ToSym (f0 p0) (f p), ToSym (g0 p0) (g p)) => ToSym ((f0 :*: g0) p0) ((f :*: g) p)

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

Methods

toSym :: (f0 :*: g0) p0 -> (f :*: g) p

(ToSym (f0 p0) (f p), ToSym (g0 p0) (g p)) => ToSym ((f0 :+: g0) p0) ((f :+: g) p)

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

Methods

toSym :: (f0 :+: g0) p0 -> (f :+: g) p

ToSym c0 c => ToSym (K1 i0 c0 p0) (K1 i c p)

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

Methods

toSym :: K1 i0 c0 p0 -> K1 i c p

(ToSym a_1 a_2, ToSym b_1 b_2, ToSym c_1 c_2, ToSym d_1 d_2) => ToSym (a_1, b_1, c_1, d_1) (a_2, b_2, c_2, d_2)

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

Methods

toSym :: (a_1, b_1, c_1, d_1) -> (a_2, b_2, c_2, d_2)

ToSym (f0 (g0 a0)) (f (g a)) => ToSym (Compose f0 g0 a0) (Compose f g a)

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

Methods

toSym :: Compose f0 g0 a0 -> Compose f g a

ToSym (f0 (g0 p0)) (f (g p)) => ToSym ((f0 :.: g0) p0) ((f :.: g) p)

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

Methods

toSym :: (f0 :.: g0) p0 -> (f :.: g) p

ToSym (f0 p0) (f p) => ToSym (M1 i0 c0 f0 p0) (M1 i c f p)

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

Methods

toSym :: M1 i0 c0 f0 p0 -> M1 i c f p

(ToSym a_1 a_2, ToSym b_1 b_2, ToSym c_1 c_2, ToSym d_1 d_2, ToSym e_1 e_2) => ToSym (a_1, b_1, c_1, d_1, e_1) (a_2, b_2, c_2, d_2, e_2)

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

Methods

toSym :: (a_1, b_1, c_1, d_1, e_1) -> (a_2, b_2, c_2, d_2, e_2)

(ToSym a_1 a_2, ToSym b_1 b_2, ToSym c_1 c_2, ToSym d_1 d_2, ToSym e_1 e_2, ToSym f_1 f_2) => ToSym (a_1, b_1, c_1, d_1, e_1, f_1) (a_2, b_2, c_2, d_2, e_2, f_2)

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

Methods

toSym :: (a_1, b_1, c_1, d_1, e_1, f_1) -> (a_2, b_2, c_2, d_2, e_2, f_2)

(ToSym a_1 a_2, ToSym b_1 b_2, ToSym c_1 c_2, ToSym d_1 d_2, ToSym e_1 e_2, ToSym f_1 f_2, ToSym g_1 g_2) => ToSym (a_1, b_1, c_1, d_1, e_1, f_1, g_1) (a_2, b_2, c_2, d_2, e_2, f_2, g_2)

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

Methods

toSym :: (a_1, b_1, c_1, d_1, e_1, f_1, g_1) -> (a_2, b_2, c_2, d_2, e_2, f_2, g_2)

(ToSym a_1 a_2, ToSym b_1 b_2, ToSym c_1 c_2, ToSym d_1 d_2, ToSym e_1 e_2, ToSym f_1 f_2, ToSym g_1 g_2, ToSym h_1 h_2) => ToSym (a_1, b_1, c_1, d_1, e_1, f_1, g_1, h_1) (a_2, b_2, c_2, d_2, e_2, f_2, g_2, h_2)

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

Methods

toSym :: (a_1, b_1, c_1, d_1, e_1, f_1, g_1, h_1) -> (a_2, b_2, c_2, d_2, e_2, f_2, g_2, h_2)

(ToSym a_1 a_2, ToSym b_1 b_2, ToSym c_1 c_2, ToSym d_1 d_2, ToSym e_1 e_2, ToSym f_1 f_2, ToSym g_1 g_2, ToSym h_1 h_2, ToSym i_1 i_2) => ToSym (a_1, b_1, c_1, d_1, e_1, f_1, g_1, h_1, i_1) (a_2, b_2, c_2, d_2, e_2, f_2, g_2, h_2, i_2)

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

Methods

toSym :: (a_1, b_1, c_1, d_1, e_1, f_1, g_1, h_1, i_1) -> (a_2, b_2, c_2, d_2, e_2, f_2, g_2, h_2, i_2)

(ToSym a_1 a_2, ToSym b_1 b_2, ToSym c_1 c_2, ToSym d_1 d_2, ToSym e_1 e_2, ToSym f_1 f_2, ToSym g_1 g_2, ToSym h_1 h_2, ToSym i_1 i_2, ToSym j_1 j_2) => ToSym (a_1, b_1, c_1, d_1, e_1, f_1, g_1, h_1, i_1, j_1) (a_2, b_2, c_2, d_2, e_2, f_2, g_2, h_2, i_2, j_2)

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

Methods

toSym :: (a_1, b_1, c_1, d_1, e_1, f_1, g_1, h_1, i_1, j_1) -> (a_2, b_2, c_2, d_2, e_2, f_2, g_2, h_2, i_2, j_2)

(ToSym a_1 a_2, ToSym b_1 b_2, ToSym c_1 c_2, ToSym d_1 d_2, ToSym e_1 e_2, ToSym f_1 f_2, ToSym g_1 g_2, ToSym h_1 h_2, ToSym i_1 i_2, ToSym j_1 j_2, ToSym k_1 k_2) => ToSym (a_1, b_1, c_1, d_1, e_1, f_1, g_1, h_1, i_1, j_1, k_1) (a_2, b_2, c_2, d_2, e_2, f_2, g_2, h_2, i_2, j_2, k_2)

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

Methods

toSym :: (a_1, b_1, c_1, d_1, e_1, f_1, g_1, h_1, i_1, j_1, k_1) -> (a_2, b_2, c_2, d_2, e_2, f_2, g_2, h_2, i_2, j_2, k_2)

(ToSym a_1 a_2, ToSym b_1 b_2, ToSym c_1 c_2, ToSym d_1 d_2, ToSym e_1 e_2, ToSym f_1 f_2, ToSym g_1 g_2, ToSym h_1 h_2, ToSym i_1 i_2, ToSym j_1 j_2, ToSym k_1 k_2, ToSym l_1 l_2) => ToSym (a_1, b_1, c_1, d_1, e_1, f_1, g_1, h_1, i_1, j_1, k_1, l_1) (a_2, b_2, c_2, d_2, e_2, f_2, g_2, h_2, i_2, j_2, k_2, l_2)

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

Methods

toSym :: (a_1, b_1, c_1, d_1, e_1, f_1, g_1, h_1, i_1, j_1, k_1, l_1) -> (a_2, b_2, c_2, d_2, e_2, f_2, g_2, h_2, i_2, j_2, k_2, l_2)

(ToSym a_1 a_2, ToSym b_1 b_2, ToSym c_1 c_2, ToSym d_1 d_2, ToSym e_1 e_2, ToSym f_1 f_2, ToSym g_1 g_2, ToSym h_1 h_2, ToSym i_1 i_2, ToSym j_1 j_2, ToSym k_1 k_2, ToSym l_1 l_2, ToSym m_1 m_2) => ToSym (a_1, b_1, c_1, d_1, e_1, f_1, g_1, h_1, i_1, j_1, k_1, l_1, m_1) (a_2, b_2, c_2, d_2, e_2, f_2, g_2, h_2, i_2, j_2, k_2, l_2, m_2)

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

Methods

toSym :: (a_1, b_1, c_1, d_1, e_1, f_1, g_1, h_1, i_1, j_1, k_1, l_1, m_1) -> (a_2, b_2, c_2, d_2, e_2, f_2, g_2, h_2, i_2, j_2, k_2, l_2, m_2)

(ToSym a_1 a_2, ToSym b_1 b_2, ToSym c_1 c_2, ToSym d_1 d_2, ToSym e_1 e_2, ToSym f_1 f_2, ToSym g_1 g_2, ToSym h_1 h_2, ToSym i_1 i_2, ToSym j_1 j_2, ToSym k_1 k_2, ToSym l_1 l_2, ToSym m_1 m_2, ToSym n_1 n_2) => ToSym (a_1, b_1, c_1, d_1, e_1, f_1, g_1, h_1, i_1, j_1, k_1, l_1, m_1, n_1) (a_2, b_2, c_2, d_2, e_2, f_2, g_2, h_2, i_2, j_2, k_2, l_2, m_2, n_2)

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

Methods

toSym :: (a_1, b_1, c_1, d_1, e_1, f_1, g_1, h_1, i_1, j_1, k_1, l_1, m_1, n_1) -> (a_2, b_2, c_2, d_2, e_2, f_2, g_2, h_2, i_2, j_2, k_2, l_2, m_2, n_2)

(ToSym a_1 a_2, ToSym b_1 b_2, ToSym c_1 c_2, ToSym d_1 d_2, ToSym e_1 e_2, ToSym f_1 f_2, ToSym g_1 g_2, ToSym h_1 h_2, ToSym i_1 i_2, ToSym j_1 j_2, ToSym k_1 k_2, ToSym l_1 l_2, ToSym m_1 m_2, ToSym n_1 n_2, ToSym o_1 o_2) => ToSym (a_1, b_1, c_1, d_1, e_1, f_1, g_1, h_1, i_1, j_1, k_1, l_1, m_1, n_1, o_1) (a_2, b_2, c_2, d_2, e_2, f_2, g_2, h_2, i_2, j_2, k_2, l_2, m_2, n_2, o_2)

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

Methods

toSym :: (a_1, b_1, c_1, d_1, e_1, f_1, g_1, h_1, i_1, j_1, k_1, l_1, m_1, n_1, o_1) -> (a_2, b_2, c_2, d_2, e_2, f_2, g_2, h_2, i_2, j_2, k_2, l_2, m_2, n_2, o_2)

class (forall a b. ToSym a b => ToSym (f1 a) (f2 b), Mergeable1 f2) => ToSym1 f1 f2 where

Lifting of ToSym to unary type constructors.

Methods

liftToSym :: Mergeable b => (a -> b) -> f1 a -> f2 b

Lift a conversion to symbolic function to unary type constructors.

Instances

ToSym1 Identity Identity

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

Methods

liftToSym :: Mergeable b => (a -> b) -> Identity a -> Identity b

ToSym1 First First

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

Methods

liftToSym :: Mergeable b => (a -> b) -> First a -> First b

ToSym1 Last Last

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

Methods

liftToSym :: Mergeable b => (a -> b) -> Last a -> Last b

ToSym1 Down Down

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

Methods

liftToSym :: Mergeable b => (a -> b) -> Down a -> Down b

ToSym1 Dual Dual

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

Methods

liftToSym :: Mergeable b => (a -> b) -> Dual a -> Dual b

ToSym1 Product Product

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

Methods

liftToSym :: Mergeable b => (a -> b) -> Product a -> Product b

ToSym1 Sum Sum

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

Methods

liftToSym :: Mergeable b => (a -> b) -> Sum a -> Sum b

ToSym1 Union Union

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

Methods

liftToSym :: Mergeable b => (a -> b) -> Union a -> Union b

ToSym1 Maybe Maybe

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

Methods

liftToSym :: Mergeable b => (a -> b) -> Maybe a -> Maybe b

ToSym1 List List

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

Methods

liftToSym :: Mergeable b => (a -> b) -> [a] -> [b]

(Generic1 f1, Generic1 f2, GToSym Arity1 (Rep1 f1) (Rep1 f2), GMergeable Arity1 (Rep1 f2)) => ToSym1 f1 (Default1 f2)

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

Methods

liftToSym :: Mergeable b => (a -> b) -> f1 a -> Default1 f2 b

ToSym a_1 a_2 => ToSym1 (Either a_1) (Either a_2)

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

Methods

liftToSym :: Mergeable b => (a -> b) -> Either a_1 a -> Either a_2 b

ToSym1 m1 m2 => ToSym1 (MaybeT m1) (MaybeT m2)

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

Methods

liftToSym :: Mergeable b => (a -> b) -> MaybeT m1 a -> MaybeT m2 b

ToSym a_1 a_2 => ToSym1 ((,) a_1) ((,) a_2)

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

Methods

liftToSym :: Mergeable b => (a -> b) -> (a_1, a) -> (a_2, b)

ToSym a0 a => ToSym1 (Const a0 :: Type -> Type) (Const a :: Type -> Type)

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

Methods

liftToSym :: Mergeable b => (a1 -> b) -> Const a0 a1 -> Const a b

ToSym1 f0 f => ToSym1 (Ap f0) (Ap f)

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

Methods

liftToSym :: Mergeable b => (a -> b) -> Ap f0 a -> Ap f b

ToSym1 f0 f => ToSym1 (Alt f0) (Alt f)

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

Methods

liftToSym :: Mergeable b => (a -> b) -> Alt f0 a -> Alt f b

(ToSym1 m1 m2, ToSym e1 e2) => ToSym1 (ExceptT e1 m1) (ExceptT e2 m2)

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

Methods

liftToSym :: Mergeable b => (a -> b) -> ExceptT e1 m1 a -> ExceptT e2 m2 b

ToSym1 m m1 => ToSym1 (IdentityT m) (IdentityT m1)

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

Methods

liftToSym :: Mergeable b => (a -> b) -> IdentityT m a -> IdentityT m1 b

(ToSym s2 s1, ToSym1 m1 m2, Mergeable1 m2) => ToSym1 (ReaderT s1 m1) (ReaderT s2 m2)

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

Methods

liftToSym :: Mergeable b => (a -> b) -> ReaderT s1 m1 a -> ReaderT s2 m2 b

(ToSym1 m1 m2, Mergeable s) => ToSym1 (StateT s m1) (StateT s m2)

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

Methods

liftToSym :: Mergeable b => (a -> b) -> StateT s m1 a -> StateT s m2 b

(ToSym1 m1 m2, Mergeable s) => ToSym1 (StateT s m1) (StateT s m2)

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

Methods

liftToSym :: Mergeable b => (a -> b) -> StateT s m1 a -> StateT s m2 b

(ToSym1 m1 m2, ToSym s1 s2) => ToSym1 (WriterT s1 m1) (WriterT s2 m2)

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

Methods

liftToSym :: Mergeable b => (a -> b) -> WriterT s1 m1 a -> WriterT s2 m2 b

(ToSym1 m1 m2, ToSym s1 s2) => ToSym1 (WriterT s1 m1) (WriterT s2 m2)

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

Methods

liftToSym :: Mergeable b => (a -> b) -> WriterT s1 m1 a -> WriterT s2 m2 b

(ToSym a_1 a_2, ToSym b_1 b_2) => ToSym1 ((,,) a_1 b_1) ((,,) a_2 b_2)

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

Methods

liftToSym :: Mergeable b => (a -> b) -> (a_1, b_1, a) -> (a_2, b_2, b)

(ToSym1 l0 l, ToSym1 r0 r) => ToSym1 (Product l0 r0) (Product l r)

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

Methods

liftToSym :: Mergeable b => (a -> b) -> Product l0 r0 a -> Product l r b

(ToSym1 l0 l, ToSym1 r0 r) => ToSym1 (Sum l0 r0) (Sum l r)

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

Methods

liftToSym :: Mergeable b => (a -> b) -> Sum l0 r0 a -> Sum l r b

(ToSym a_1 a_2, ToSym b_1 b_2, ToSym c_1 c_2) => ToSym1 ((,,,) a_1 b_1 c_1) ((,,,) a_2 b_2 c_2)

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

Methods

liftToSym :: Mergeable b => (a -> b) -> (a_1, b_1, c_1, a) -> (a_2, b_2, c_2, b)

ToSym c a => ToSym1 ((->) a) ((->) c)

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

Methods

liftToSym :: Mergeable b => (a0 -> b) -> (a -> a0) -> c -> b

(ToSym1 f0 f, ToSym1 g0 g) => ToSym1 (Compose f0 g0) (Compose f g)

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

Methods

liftToSym :: Mergeable b => (a -> b) -> Compose f0 g0 a -> Compose f g b

(ToSym a_1 a_2, ToSym b_1 b_2, ToSym c_1 c_2, ToSym d_1 d_2) => ToSym1 ((,,,,) a_1 b_1 c_1 d_1) ((,,,,) a_2 b_2 c_2 d_2)

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

Methods

liftToSym :: Mergeable b => (a -> b) -> (a_1, b_1, c_1, d_1, a) -> (a_2, b_2, c_2, d_2, b)

(ToSym a_1 a_2, ToSym b_1 b_2, ToSym c_1 c_2, ToSym d_1 d_2, ToSym e_1 e_2) => ToSym1 ((,,,,,) a_1 b_1 c_1 d_1 e_1) ((,,,,,) a_2 b_2 c_2 d_2 e_2)

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

Methods

liftToSym :: Mergeable b => (a -> b) -> (a_1, b_1, c_1, d_1, e_1, a) -> (a_2, b_2, c_2, d_2, e_2, b)

(ToSym a_1 a_2, ToSym b_1 b_2, ToSym c_1 c_2, ToSym d_1 d_2, ToSym e_1 e_2, ToSym f_1 f_2) => ToSym1 ((,,,,,,) a_1 b_1 c_1 d_1 e_1 f_1) ((,,,,,,) a_2 b_2 c_2 d_2 e_2 f_2)

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

Methods

liftToSym :: Mergeable b => (a -> b) -> (a_1, b_1, c_1, d_1, e_1, f_1, a) -> (a_2, b_2, c_2, d_2, e_2, f_2, b)

(ToSym a_1 a_2, ToSym b_1 b_2, ToSym c_1 c_2, ToSym d_1 d_2, ToSym e_1 e_2, ToSym f_1 f_2, ToSym g_1 g_2) => ToSym1 ((,,,,,,,) a_1 b_1 c_1 d_1 e_1 f_1 g_1) ((,,,,,,,) a_2 b_2 c_2 d_2 e_2 f_2 g_2)

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

Methods

liftToSym :: Mergeable b => (a -> b) -> (a_1, b_1, c_1, d_1, e_1, f_1, g_1, a) -> (a_2, b_2, c_2, d_2, e_2, f_2, g_2, b)

(ToSym a_1 a_2, ToSym b_1 b_2, ToSym c_1 c_2, ToSym d_1 d_2, ToSym e_1 e_2, ToSym f_1 f_2, ToSym g_1 g_2, ToSym h_1 h_2) => ToSym1 ((,,,,,,,,) a_1 b_1 c_1 d_1 e_1 f_1 g_1 h_1) ((,,,,,,,,) a_2 b_2 c_2 d_2 e_2 f_2 g_2 h_2)

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

Methods

liftToSym :: Mergeable b => (a -> b) -> (a_1, b_1, c_1, d_1, e_1, f_1, g_1, h_1, a) -> (a_2, b_2, c_2, d_2, e_2, f_2, g_2, h_2, b)

(ToSym a_1 a_2, ToSym b_1 b_2, ToSym c_1 c_2, ToSym d_1 d_2, ToSym e_1 e_2, ToSym f_1 f_2, ToSym g_1 g_2, ToSym h_1 h_2, ToSym i_1 i_2) => ToSym1 ((,,,,,,,,,) a_1 b_1 c_1 d_1 e_1 f_1 g_1 h_1 i_1) ((,,,,,,,,,) a_2 b_2 c_2 d_2 e_2 f_2 g_2 h_2 i_2)

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

Methods

liftToSym :: Mergeable b => (a -> b) -> (a_1, b_1, c_1, d_1, e_1, f_1, g_1, h_1, i_1, a) -> (a_2, b_2, c_2, d_2, e_2, f_2, g_2, h_2, i_2, b)

(ToSym a_1 a_2, ToSym b_1 b_2, ToSym c_1 c_2, ToSym d_1 d_2, ToSym e_1 e_2, ToSym f_1 f_2, ToSym g_1 g_2, ToSym h_1 h_2, ToSym i_1 i_2, ToSym j_1 j_2) => ToSym1 ((,,,,,,,,,,) a_1 b_1 c_1 d_1 e_1 f_1 g_1 h_1 i_1 j_1) ((,,,,,,,,,,) a_2 b_2 c_2 d_2 e_2 f_2 g_2 h_2 i_2 j_2)

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

Methods

liftToSym :: Mergeable b => (a -> b) -> (a_1, b_1, c_1, d_1, e_1, f_1, g_1, h_1, i_1, j_1, a) -> (a_2, b_2, c_2, d_2, e_2, f_2, g_2, h_2, i_2, j_2, b)

(ToSym a_1 a_2, ToSym b_1 b_2, ToSym c_1 c_2, ToSym d_1 d_2, ToSym e_1 e_2, ToSym f_1 f_2, ToSym g_1 g_2, ToSym h_1 h_2, ToSym i_1 i_2, ToSym j_1 j_2, ToSym k_1 k_2) => ToSym1 ((,,,,,,,,,,,) a_1 b_1 c_1 d_1 e_1 f_1 g_1 h_1 i_1 j_1 k_1) ((,,,,,,,,,,,) a_2 b_2 c_2 d_2 e_2 f_2 g_2 h_2 i_2 j_2 k_2)

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

Methods

liftToSym :: Mergeable b => (a -> b) -> (a_1, b_1, c_1, d_1, e_1, f_1, g_1, h_1, i_1, j_1, k_1, a) -> (a_2, b_2, c_2, d_2, e_2, f_2, g_2, h_2, i_2, j_2, k_2, b)

(ToSym a_1 a_2, ToSym b_1 b_2, ToSym c_1 c_2, ToSym d_1 d_2, ToSym e_1 e_2, ToSym f_1 f_2, ToSym g_1 g_2, ToSym h_1 h_2, ToSym i_1 i_2, ToSym j_1 j_2, ToSym k_1 k_2, ToSym l_1 l_2) => ToSym1 ((,,,,,,,,,,,,) a_1 b_1 c_1 d_1 e_1 f_1 g_1 h_1 i_1 j_1 k_1 l_1) ((,,,,,,,,,,,,) a_2 b_2 c_2 d_2 e_2 f_2 g_2 h_2 i_2 j_2 k_2 l_2)

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

Methods

liftToSym :: Mergeable b => (a -> b) -> (a_1, b_1, c_1, d_1, e_1, f_1, g_1, h_1, i_1, j_1, k_1, l_1, a) -> (a_2, b_2, c_2, d_2, e_2, f_2, g_2, h_2, i_2, j_2, k_2, l_2, b)

(ToSym a_1 a_2, ToSym b_1 b_2, ToSym c_1 c_2, ToSym d_1 d_2, ToSym e_1 e_2, ToSym f_1 f_2, ToSym g_1 g_2, ToSym h_1 h_2, ToSym i_1 i_2, ToSym j_1 j_2, ToSym k_1 k_2, ToSym l_1 l_2, ToSym m_1 m_2) => ToSym1 ((,,,,,,,,,,,,,) a_1 b_1 c_1 d_1 e_1 f_1 g_1 h_1 i_1 j_1 k_1 l_1 m_1) ((,,,,,,,,,,,,,) a_2 b_2 c_2 d_2 e_2 f_2 g_2 h_2 i_2 j_2 k_2 l_2 m_2)

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

Methods

liftToSym :: Mergeable b => (a -> b) -> (a_1, b_1, c_1, d_1, e_1, f_1, g_1, h_1, i_1, j_1, k_1, l_1, m_1, a) -> (a_2, b_2, c_2, d_2, e_2, f_2, g_2, h_2, i_2, j_2, k_2, l_2, m_2, b)

(ToSym a_1 a_2, ToSym b_1 b_2, ToSym c_1 c_2, ToSym d_1 d_2, ToSym e_1 e_2, ToSym f_1 f_2, ToSym g_1 g_2, ToSym h_1 h_2, ToSym i_1 i_2, ToSym j_1 j_2, ToSym k_1 k_2, ToSym l_1 l_2, ToSym m_1 m_2, ToSym n_1 n_2) => ToSym1 ((,,,,,,,,,,,,,,) a_1 b_1 c_1 d_1 e_1 f_1 g_1 h_1 i_1 j_1 k_1 l_1 m_1 n_1) ((,,,,,,,,,,,,,,) a_2 b_2 c_2 d_2 e_2 f_2 g_2 h_2 i_2 j_2 k_2 l_2 m_2 n_2)

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

Methods

liftToSym :: Mergeable b => (a -> b) -> (a_1, b_1, c_1, d_1, e_1, f_1, g_1, h_1, i_1, j_1, k_1, l_1, m_1, n_1, a) -> (a_2, b_2, c_2, d_2, e_2, f_2, g_2, h_2, i_2, j_2, k_2, l_2, m_2, n_2, b)

toSym1 :: (ToSym1 f1 f2, ToSym a b) => f1 a -> f2 b

Lift the standard toSym to unary type constructors.

class (forall a b. ToSym a b => ToSym1 (f1 a) (f2 b), Mergeable2 f2) => ToSym2 f1 f2 where

Lifting of ToSym to binary type constructors.

Methods

liftToSym2 :: (a -> b) -> (c -> d) -> f1 a c -> f2 b d

Lift conversion to symbolic functions to binary type constructors.

Instances

ToSym2 Either Either

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

Methods

liftToSym2 :: (a -> b) -> (c -> d) -> Either a c -> Either b d

ToSym2 (,) (,)

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

Methods

liftToSym2 :: (a -> b) -> (c -> d) -> (a, c) -> (b, d)

ToSym a b => ToSym2 ((,,) a) ((,,) b)

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

Methods

liftToSym2 :: (a0 -> b0) -> (c -> d) -> (a, a0, c) -> (b, b0, d)

(ToSym a c, ToSym b d) => ToSym2 ((,,,) a b) ((,,,) c d)

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

Methods

liftToSym2 :: (a0 -> b0) -> (c0 -> d0) -> (a, b, a0, c0) -> (c, d, b0, d0)

toSym2 :: (ToSym2 f1 f2, ToSym a b, ToSym c d) => f1 a c -> f2 b d

Lift the standard toSym to binary type constructors.

Generic ToSym

data family ToSymArgs arity a b :: Type

The arguments to the generic toSym function.

Instances

data ToSymArgs Arity0 _ _1

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

data ToSymArgs Arity0 _ _1 = ToSymArgs0

data ToSymArgs Arity1 _ _1

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

data ToSymArgs Arity1 _ _1 where

• ToSymArgs1 :: forall _1 _. Mergeable _1 => (_ -> _1) -> ToSymArgs Arity1 _ _1

class GToSym arity f1 f2 where

The class of types that can be generically converted to symbolic values.

Methods

gtoSym :: ToSymArgs arity a b -> f1 a -> f2 b

Instances

GToSym Arity1 Par1 Par1

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

Methods

gtoSym :: ToSymArgs Arity1 a b -> Par1 a -> Par1 b

GToSym arity (U1 :: Type -> Type) (U1 :: Type -> Type)

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

Methods

gtoSym :: ToSymArgs arity a b -> U1 a -> U1 b

GToSym arity (V1 :: Type -> Type) (V1 :: Type -> Type)

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

Methods

gtoSym :: ToSymArgs arity a b -> V1 a -> V1 b

ToSym1 f1 f2 => GToSym Arity1 (Rec1 f1) (Rec1 f2)

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

Methods

gtoSym :: ToSymArgs Arity1 a b -> Rec1 f1 a -> Rec1 f2 b

(GToSym arity a b, GToSym arity c d) => GToSym arity (a :*: c) (b :*: d)

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

Methods

gtoSym :: ToSymArgs arity a0 b0 -> (a :*: c) a0 -> (b :*: d) b0

(GToSym arity a b, GToSym arity c d) => GToSym arity (a :+: c) (b :+: d)

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

Methods

gtoSym :: ToSymArgs arity a0 b0 -> (a :+: c) a0 -> (b :+: d) b0

ToSym a b => GToSym arity (K1 i a :: Type -> Type) (K1 i b :: Type -> Type)

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

Methods

gtoSym :: ToSymArgs arity a0 b0 -> K1 i a a0 -> K1 i b b0

(ToSym1 f1 f2, GToSym Arity1 g1 g2, Mergeable1 g2) => GToSym Arity1 (f1 :.: g1) (f2 :.: g2)

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

Methods

gtoSym :: ToSymArgs Arity1 a b -> (f1 :.: g1) a -> (f2 :.: g2) b

GToSym arity f1 f2 => GToSym arity (M1 i c1 f1) (M1 i c2 f2)

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

Methods

gtoSym :: ToSymArgs arity a b -> M1 i c1 f1 a -> M1 i c2 f2 b

genericToSym :: (Generic a, Generic b, GToSym Arity0 (Rep a) (Rep b)) => a -> b

Generic toSym function.

genericLiftToSym :: (Generic1 f1, Generic1 f2, GToSym Arity1 (Rep1 f1) (Rep1 f2), Mergeable b) => (a -> b) -> f1 a -> f2 b

Generic liftToSym function.