Grisette.Internal.Core.Data.Class.ToCon

Converting to concrete values

class ToCon a b where

Convert a symbolic value to concrete value if possible.

Methods

toCon :: a -> Maybe b

Convert a symbolic value to concrete value if possible. If the symbolic value cannot be converted to concrete, the result will be Nothing.

>>> toCon (ssym "a" :: SymInteger) :: Maybe Integer
Nothing

>>> toCon (con 1 :: SymInteger) :: Maybe Integer
Just 1

toCon works on complex types too.

>>> toCon ([con 1, con 2] :: [SymInteger]) :: Maybe [Integer]
Just [1,2]

>>> toCon ([con 1, ssym "a"] :: [SymInteger]) :: Maybe [Integer]
Nothing

Instances

ToCon All All

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

Methods

toCon :: All -> Maybe All

ToCon Any Any

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

Methods

toCon :: Any -> Maybe Any

ToCon Int16 Int16

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

Methods

toCon :: Int16 -> Maybe Int16

ToCon Int32 Int32

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

Methods

toCon :: Int32 -> Maybe Int32

ToCon Int64 Int64

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

Methods

toCon :: Int64 -> Maybe Int64

ToCon Int8 Int8

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

Methods

toCon :: Int8 -> Maybe Int8

ToCon Word16 Word16

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

Methods

toCon :: Word16 -> Maybe Word16

ToCon Word32 Word32

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

Methods

toCon :: Word32 -> Maybe Word32

ToCon Word64 Word64

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

Methods

toCon :: Word64 -> Maybe Word64

ToCon Word8 Word8

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

Methods

toCon :: Word8 -> Maybe Word8

ToCon ByteString ByteString

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

Methods

toCon :: ByteString -> Maybe ByteString

ToCon Ordering Ordering

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

Methods

toCon :: Ordering -> Maybe Ordering

ToCon AssertionError AssertionError

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

Methods

toCon :: AssertionError -> Maybe AssertionError

ToCon VerificationConditions VerificationConditions

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

Methods

toCon :: VerificationConditions -> Maybe VerificationConditions

ToCon FPRoundingMode FPRoundingMode

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

Methods

toCon :: FPRoundingMode -> Maybe FPRoundingMode

ToCon SymBool SymBool

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

Methods

toCon :: SymBool -> Maybe SymBool

ToCon SymBool Bool

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

Methods

toCon :: SymBool -> Maybe Bool

ToCon SymFP32 Float

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

Methods

toCon :: SymFP32 -> Maybe Float

ToCon SymFP64 Double

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

Methods

toCon :: SymFP64 -> Maybe Double

ToCon SymFPRoundingMode FPRoundingMode

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

Methods

toCon :: SymFPRoundingMode -> Maybe FPRoundingMode

ToCon SymFPRoundingMode SymFPRoundingMode

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

Methods

toCon :: SymFPRoundingMode -> Maybe SymFPRoundingMode

ToCon SymInteger SymInteger

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

Methods

toCon :: SymInteger -> Maybe SymInteger

ToCon SymInteger Integer

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

Methods

toCon :: SymInteger -> Maybe Integer

ToCon Text Text

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

Methods

toCon :: Text -> Maybe Text

ToCon Integer Integer

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

Methods

toCon :: Integer -> Maybe Integer

ToCon () ()

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

Methods

toCon :: () -> Maybe ()

ToCon Bool Bool

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

Methods

toCon :: Bool -> Maybe Bool

ToCon Char Char

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

Methods

toCon :: Char -> Maybe Char

ToCon Double Double

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

Methods

toCon :: Double -> Maybe Double

ToCon Float Float

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

Methods

toCon :: Float -> Maybe Float

ToCon Int Int

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

Methods

toCon :: Int -> Maybe Int

ToCon Word Word

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

Methods

toCon :: Word -> Maybe Word

ToCon v v

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

Methods

toCon :: v -> Maybe v

ToCon a b => ToCon a (Identity b)

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

Methods

toCon :: a -> Maybe (Identity b)

(Generic a, Generic b, GToCon Arity0 (Rep a) (Rep b)) => ToCon a (Default b)

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

Methods

toCon :: a -> Maybe (Default b)

ToCon a b => ToCon (Identity a) b

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

Methods

toCon :: Identity a -> Maybe b

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

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

Methods

toCon :: Union a -> Maybe b

ToCon (SymIntN 8) Int8

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

Methods

toCon :: SymIntN 8 -> Maybe Int8

ToCon (SymIntN 16) Int16

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

Methods

toCon :: SymIntN 16 -> Maybe Int16

ToCon (SymIntN 32) Int32

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

Methods

toCon :: SymIntN 32 -> Maybe Int32

ToCon (SymIntN 64) Int64

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

Methods

toCon :: SymIntN 64 -> Maybe Int64

ToCon (SymIntN 64) Int

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

Methods

toCon :: SymIntN 64 -> Maybe Int

ToCon (SymWordN 8) Word8

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

Methods

toCon :: SymWordN 8 -> Maybe Word8

ToCon (SymWordN 16) Word16

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

Methods

toCon :: SymWordN 16 -> Maybe Word16

ToCon (SymWordN 32) Word32

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

Methods

toCon :: SymWordN 32 -> Maybe Word32

ToCon (SymWordN 64) Word64

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

Methods

toCon :: SymWordN 64 -> Maybe Word64

ToCon (SymWordN 64) Word

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

Methods

toCon :: SymWordN 64 -> Maybe Word

ToCon a b => ToCon (Identity a) (Identity b)

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

Methods

toCon :: Identity a -> Maybe (Identity b)

ToCon a_1 a_2 => ToCon (First a_1) (First a_2)

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

Methods

toCon :: First a_1 -> Maybe (First a_2)

ToCon a_1 a_2 => ToCon (Last a_1) (Last a_2)

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

Methods

toCon :: Last a_1 -> Maybe (Last a_2)

ToCon a_1 a_2 => ToCon (Down a_1) (Down a_2)

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

Methods

toCon :: Down a_1 -> Maybe (Down a_2)

ToCon a_1 a_2 => ToCon (Dual a_1) (Dual a_2)

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

Methods

toCon :: Dual a_1 -> Maybe (Dual a_2)

ToCon a_1 a_2 => ToCon (Product a_1) (Product a_2)

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

Methods

toCon :: Product a_1 -> Maybe (Product a_2)

ToCon a_1 a_2 => ToCon (Sum a_1) (Sum a_2)

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

Methods

toCon :: Sum a_1 -> Maybe (Sum a_2)

ToCon p0 p => ToCon (Par1 p0) (Par1 p)

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

Methods

toCon :: Par1 p0 -> Maybe (Par1 p)

ToCon a b => ToCon (Union a) (Union b)

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

Methods

toCon :: Union a -> Maybe (Union b)

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

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

Methods

toCon :: IntN n -> Maybe (IntN n)

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

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

Methods

toCon :: WordN n -> Maybe (WordN n)

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

Defined in Grisette.Internal.SymPrim.SomeBV

Methods

toCon :: SomeBV sbv -> Maybe (SomeBV cbv)

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

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

Methods

toCon :: SymIntN n -> Maybe (IntN n)

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

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

Methods

toCon :: SymIntN n -> Maybe (SymIntN n)

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

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

Methods

toCon :: SymWordN n -> Maybe (WordN n)

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

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

Methods

toCon :: SymWordN n -> Maybe (SymWordN n)

ToCon a_1 a_2 => ToCon (Maybe a_1) (Maybe a_2)

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

Methods

toCon :: Maybe a_1 -> Maybe (Maybe a_2)

ToCon a_1 a_2 => ToCon [a_1] [a_2]

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

Methods

toCon :: [a_1] -> Maybe [a_2]

(Generic1 f1, Generic1 f2, GToCon Arity1 (Rep1 f1) (Rep1 f2), ToCon a b) => ToCon (f1 a) (Default1 f2 b)

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

Methods

toCon :: f1 a -> Maybe (Default1 f2 b)

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

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

Methods

toCon :: Either a_1 b_1 -> Maybe (Either a_2 b_2)

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

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

Methods

toCon :: Either e1 a1 -> Maybe (CBMCEither e2 a2)

ToCon (U1 p0) (U1 p)

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

Methods

toCon :: U1 p0 -> Maybe (U1 p)

ToCon (V1 p0) (V1 p)

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

Methods

toCon :: V1 p0 -> Maybe (V1 p)

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

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

Methods

toCon :: CBMCEither e1 a1 -> Maybe (Either e2 a2)

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

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

Methods

toCon :: CBMCEither e1 a1 -> Maybe (CBMCEither e2 a2)

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

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

Methods

toCon :: FP eb sb -> Maybe (FP eb sb)

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

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

Methods

toCon :: SymFP eb sb -> Maybe (FP eb sb)

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

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

Methods

toCon :: SymFP eb sb -> Maybe (SymFP eb sb)

(SupportedPrim a, SupportedPrim b) => ToCon (a -~> b) (a -~> b)

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

Methods

toCon :: (a -~> b) -> Maybe (a -~> b)

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

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

Methods

toCon :: (sa -~> sb) -> Maybe (ca --> cb)

(SupportedPrim a, SupportedPrim b) => ToCon (a =~> b) (a =~> b)

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

Methods

toCon :: (a =~> b) -> Maybe (a =~> b)

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

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

Methods

toCon :: (sa =~> sb) -> Maybe (ca =-> cb)

(ToCon1 m1 m2, ToCon a b) => ToCon (MaybeT m1 a) (MaybeT m2 b)

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

Methods

toCon :: MaybeT m1 a -> Maybe (MaybeT m2 b)

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

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

Methods

toCon :: (a_1, b_1) -> Maybe (a_2, b_2)

ToCon (m1 (CBMCEither e1 a)) (Either e2 b) => ToCon (CBMCExceptT e1 m1 a) (Either e2 b)

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

Methods

toCon :: CBMCExceptT e1 m1 a -> Maybe (Either e2 b)

ToCon (m1 (Either e1 a)) (Either e2 b) => ToCon (ExceptT e1 m1 a) (Either e2 b)

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

Methods

toCon :: ExceptT e1 m1 a -> Maybe (Either e2 b)

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

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

Methods

toCon :: Const a0 b0 -> Maybe (Const a b)

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

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

Methods

toCon :: Ap f0 a0 -> Maybe (Ap f a)

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

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

Methods

toCon :: Alt f0 a0 -> Maybe (Alt f a)

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

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

Methods

toCon :: Rec1 f0 p0 -> Maybe (Rec1 f p)

ToCon (m1 (CBMCEither e1 a)) (m2 (CBMCEither e2 b)) => ToCon (CBMCExceptT e1 m1 a) (CBMCExceptT e2 m2 b)

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

Methods

toCon :: CBMCExceptT e1 m1 a -> Maybe (CBMCExceptT e2 m2 b)

(ToCon1 m1 m2, ToCon e1 e2, ToCon a b) => ToCon (ExceptT e1 m1 a) (ExceptT e2 m2 b)

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

Methods

toCon :: ExceptT e1 m1 a -> Maybe (ExceptT e2 m2 b)

(ToCon1 m m1, ToCon a b) => ToCon (IdentityT m a) (IdentityT m1 b)

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

Methods

toCon :: IdentityT m a -> Maybe (IdentityT m1 b)

(ToCon1 m1 m2, ToCon a b, ToCon s1 s2) => ToCon (WriterT s1 m1 a) (WriterT s2 m2 b)

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

Methods

toCon :: WriterT s1 m1 a -> Maybe (WriterT s2 m2 b)

(ToCon1 m1 m2, ToCon a b, ToCon s1 s2) => ToCon (WriterT s1 m1 a) (WriterT s2 m2 b)

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

Methods

toCon :: WriterT s1 m1 a -> Maybe (WriterT s2 m2 b)

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

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

Methods

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

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

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

Methods

toCon :: Product l0 r0 a0 -> Maybe (Product l r a)

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

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

Methods

toCon :: Sum l0 r0 a0 -> Maybe (Sum l r a)

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

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

Methods

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

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

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

Methods

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

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

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

Methods

toCon :: K1 i0 c0 p0 -> Maybe (K1 i c p)

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

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

Methods

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

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

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

Methods

toCon :: Compose f0 g0 a0 -> Maybe (Compose f g a)

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

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

Methods

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

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

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

Methods

toCon :: M1 i0 c0 f0 p0 -> Maybe (M1 i c f p)

(ToCon a_1 a_2, ToCon b_1 b_2, ToCon c_1 c_2, ToCon d_1 d_2, ToCon e_1 e_2) => ToCon (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.ToCon

Methods

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

(ToCon a_1 a_2, ToCon b_1 b_2, ToCon c_1 c_2, ToCon d_1 d_2, ToCon e_1 e_2, ToCon f_1 f_2) => ToCon (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.ToCon

Methods

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

(ToCon a_1 a_2, ToCon b_1 b_2, ToCon c_1 c_2, ToCon d_1 d_2, ToCon e_1 e_2, ToCon f_1 f_2, ToCon g_1 g_2) => ToCon (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.ToCon

Methods

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

(ToCon a_1 a_2, ToCon b_1 b_2, ToCon c_1 c_2, ToCon d_1 d_2, ToCon e_1 e_2, ToCon f_1 f_2, ToCon g_1 g_2, ToCon h_1 h_2) => ToCon (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.ToCon

Methods

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

(ToCon a_1 a_2, ToCon b_1 b_2, ToCon c_1 c_2, ToCon d_1 d_2, ToCon e_1 e_2, ToCon f_1 f_2, ToCon g_1 g_2, ToCon h_1 h_2, ToCon i_1 i_2) => ToCon (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.ToCon

Methods

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

(ToCon a_1 a_2, ToCon b_1 b_2, ToCon c_1 c_2, ToCon d_1 d_2, ToCon e_1 e_2, ToCon f_1 f_2, ToCon g_1 g_2, ToCon h_1 h_2, ToCon i_1 i_2, ToCon j_1 j_2) => ToCon (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.ToCon

Methods

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

(ToCon a_1 a_2, ToCon b_1 b_2, ToCon c_1 c_2, ToCon d_1 d_2, ToCon e_1 e_2, ToCon f_1 f_2, ToCon g_1 g_2, ToCon h_1 h_2, ToCon i_1 i_2, ToCon j_1 j_2, ToCon k_1 k_2) => ToCon (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.ToCon

Methods

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

(ToCon a_1 a_2, ToCon b_1 b_2, ToCon c_1 c_2, ToCon d_1 d_2, ToCon e_1 e_2, ToCon f_1 f_2, ToCon g_1 g_2, ToCon h_1 h_2, ToCon i_1 i_2, ToCon j_1 j_2, ToCon k_1 k_2, ToCon l_1 l_2) => ToCon (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.ToCon

Methods

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

(ToCon a_1 a_2, ToCon b_1 b_2, ToCon c_1 c_2, ToCon d_1 d_2, ToCon e_1 e_2, ToCon f_1 f_2, ToCon g_1 g_2, ToCon h_1 h_2, ToCon i_1 i_2, ToCon j_1 j_2, ToCon k_1 k_2, ToCon l_1 l_2, ToCon m_1 m_2) => ToCon (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.ToCon

Methods

toCon :: (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) -> Maybe (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)

(ToCon a_1 a_2, ToCon b_1 b_2, ToCon c_1 c_2, ToCon d_1 d_2, ToCon e_1 e_2, ToCon f_1 f_2, ToCon g_1 g_2, ToCon h_1 h_2, ToCon i_1 i_2, ToCon j_1 j_2, ToCon k_1 k_2, ToCon l_1 l_2, ToCon m_1 m_2, ToCon n_1 n_2) => ToCon (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.ToCon

Methods

toCon :: (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) -> Maybe (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)

(ToCon a_1 a_2, ToCon b_1 b_2, ToCon c_1 c_2, ToCon d_1 d_2, ToCon e_1 e_2, ToCon f_1 f_2, ToCon g_1 g_2, ToCon h_1 h_2, ToCon i_1 i_2, ToCon j_1 j_2, ToCon k_1 k_2, ToCon l_1 l_2, ToCon m_1 m_2, ToCon n_1 n_2, ToCon o_1 o_2) => ToCon (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.ToCon

Methods

toCon :: (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) -> Maybe (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. ToCon a b => ToCon (f1 a) (f2 b)) => ToCon1 f1 f2 where

Lifting of ToCon to unary type constructors.

Methods

liftToCon :: (a -> Maybe b) -> f1 a -> Maybe (f2 b)

Lift a conversion to concrete function to unary type constructors.

Instances

ToCon1 Identity Identity

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

Methods

liftToCon :: (a -> Maybe b) -> Identity a -> Maybe (Identity b)

ToCon1 First First

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

Methods

liftToCon :: (a -> Maybe b) -> First a -> Maybe (First b)

ToCon1 Last Last

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

Methods

liftToCon :: (a -> Maybe b) -> Last a -> Maybe (Last b)

ToCon1 Down Down

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

Methods

liftToCon :: (a -> Maybe b) -> Down a -> Maybe (Down b)

ToCon1 Dual Dual

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

Methods

liftToCon :: (a -> Maybe b) -> Dual a -> Maybe (Dual b)

ToCon1 Product Product

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

Methods

liftToCon :: (a -> Maybe b) -> Product a -> Maybe (Product b)

ToCon1 Sum Sum

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

Methods

liftToCon :: (a -> Maybe b) -> Sum a -> Maybe (Sum b)

ToCon1 Union Union

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

Methods

liftToCon :: (a -> Maybe b) -> Union a -> Maybe (Union b)

ToCon1 Maybe Maybe

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

Methods

liftToCon :: (a -> Maybe b) -> Maybe a -> Maybe (Maybe b)

ToCon1 List List

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

Methods

liftToCon :: (a -> Maybe b) -> [a] -> Maybe [b]

(Generic1 f1, Generic1 f2, GToCon Arity1 (Rep1 f1) (Rep1 f2)) => ToCon1 f1 (Default1 f2)

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

Methods

liftToCon :: (a -> Maybe b) -> f1 a -> Maybe (Default1 f2 b)

ToCon a_1 a_2 => ToCon1 (Either a_1) (Either a_2)

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

Methods

liftToCon :: (a -> Maybe b) -> Either a_1 a -> Maybe (Either a_2 b)

ToCon1 m1 m2 => ToCon1 (MaybeT m1) (MaybeT m2)

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

Methods

liftToCon :: (a -> Maybe b) -> MaybeT m1 a -> Maybe (MaybeT m2 b)

ToCon a_1 a_2 => ToCon1 ((,) a_1) ((,) a_2)

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

Methods

liftToCon :: (a -> Maybe b) -> (a_1, a) -> Maybe (a_2, b)

ToCon a0 a => ToCon1 (Const a0 :: Type -> Type) (Const a :: Type -> Type)

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

Methods

liftToCon :: (a1 -> Maybe b) -> Const a0 a1 -> Maybe (Const a b)

ToCon1 f0 f => ToCon1 (Ap f0) (Ap f)

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

Methods

liftToCon :: (a -> Maybe b) -> Ap f0 a -> Maybe (Ap f b)

ToCon1 f0 f => ToCon1 (Alt f0) (Alt f)

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

Methods

liftToCon :: (a -> Maybe b) -> Alt f0 a -> Maybe (Alt f b)

(ToCon1 m1 m2, ToCon e1 e2) => ToCon1 (ExceptT e1 m1) (ExceptT e2 m2)

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

Methods

liftToCon :: (a -> Maybe b) -> ExceptT e1 m1 a -> Maybe (ExceptT e2 m2 b)

ToCon1 m m1 => ToCon1 (IdentityT m) (IdentityT m1)

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

Methods

liftToCon :: (a -> Maybe b) -> IdentityT m a -> Maybe (IdentityT m1 b)

(ToCon1 m1 m2, ToCon s1 s2) => ToCon1 (WriterT s1 m1) (WriterT s2 m2)

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

Methods

liftToCon :: (a -> Maybe b) -> WriterT s1 m1 a -> Maybe (WriterT s2 m2 b)

(ToCon1 m1 m2, ToCon s1 s2) => ToCon1 (WriterT s1 m1) (WriterT s2 m2)

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

Methods

liftToCon :: (a -> Maybe b) -> WriterT s1 m1 a -> Maybe (WriterT s2 m2 b)

(ToCon a_1 a_2, ToCon b_1 b_2) => ToCon1 ((,,) a_1 b_1) ((,,) a_2 b_2)

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

Methods

liftToCon :: (a -> Maybe b) -> (a_1, b_1, a) -> Maybe (a_2, b_2, b)

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

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

Methods

liftToCon :: (a -> Maybe b) -> Product l0 r0 a -> Maybe (Product l r b)

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

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

Methods

liftToCon :: (a -> Maybe b) -> Sum l0 r0 a -> Maybe (Sum l r b)

(ToCon a_1 a_2, ToCon b_1 b_2, ToCon c_1 c_2) => ToCon1 ((,,,) a_1 b_1 c_1) ((,,,) a_2 b_2 c_2)

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

Methods

liftToCon :: (a -> Maybe b) -> (a_1, b_1, c_1, a) -> Maybe (a_2, b_2, c_2, b)

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

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

Methods

liftToCon :: (a -> Maybe b) -> Compose f0 g0 a -> Maybe (Compose f g b)

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

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

Methods

liftToCon :: (a -> Maybe b) -> (a_1, b_1, c_1, d_1, a) -> Maybe (a_2, b_2, c_2, d_2, b)

(ToCon a_1 a_2, ToCon b_1 b_2, ToCon c_1 c_2, ToCon d_1 d_2, ToCon e_1 e_2) => ToCon1 ((,,,,,) 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.ToCon

Methods

liftToCon :: (a -> Maybe b) -> (a_1, b_1, c_1, d_1, e_1, a) -> Maybe (a_2, b_2, c_2, d_2, e_2, b)

(ToCon a_1 a_2, ToCon b_1 b_2, ToCon c_1 c_2, ToCon d_1 d_2, ToCon e_1 e_2, ToCon f_1 f_2) => ToCon1 ((,,,,,,) 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.ToCon

Methods

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

(ToCon a_1 a_2, ToCon b_1 b_2, ToCon c_1 c_2, ToCon d_1 d_2, ToCon e_1 e_2, ToCon f_1 f_2, ToCon g_1 g_2) => ToCon1 ((,,,,,,,) 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.ToCon

Methods

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

(ToCon a_1 a_2, ToCon b_1 b_2, ToCon c_1 c_2, ToCon d_1 d_2, ToCon e_1 e_2, ToCon f_1 f_2, ToCon g_1 g_2, ToCon h_1 h_2) => ToCon1 ((,,,,,,,,) 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.ToCon

Methods

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

(ToCon a_1 a_2, ToCon b_1 b_2, ToCon c_1 c_2, ToCon d_1 d_2, ToCon e_1 e_2, ToCon f_1 f_2, ToCon g_1 g_2, ToCon h_1 h_2, ToCon i_1 i_2) => ToCon1 ((,,,,,,,,,) 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.ToCon

Methods

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

(ToCon a_1 a_2, ToCon b_1 b_2, ToCon c_1 c_2, ToCon d_1 d_2, ToCon e_1 e_2, ToCon f_1 f_2, ToCon g_1 g_2, ToCon h_1 h_2, ToCon i_1 i_2, ToCon j_1 j_2) => ToCon1 ((,,,,,,,,,,) 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.ToCon

Methods

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

(ToCon a_1 a_2, ToCon b_1 b_2, ToCon c_1 c_2, ToCon d_1 d_2, ToCon e_1 e_2, ToCon f_1 f_2, ToCon g_1 g_2, ToCon h_1 h_2, ToCon i_1 i_2, ToCon j_1 j_2, ToCon k_1 k_2) => ToCon1 ((,,,,,,,,,,,) 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.ToCon

Methods

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

(ToCon a_1 a_2, ToCon b_1 b_2, ToCon c_1 c_2, ToCon d_1 d_2, ToCon e_1 e_2, ToCon f_1 f_2, ToCon g_1 g_2, ToCon h_1 h_2, ToCon i_1 i_2, ToCon j_1 j_2, ToCon k_1 k_2, ToCon l_1 l_2) => ToCon1 ((,,,,,,,,,,,,) 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.ToCon

Methods

liftToCon :: (a -> Maybe 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) -> Maybe (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)

(ToCon a_1 a_2, ToCon b_1 b_2, ToCon c_1 c_2, ToCon d_1 d_2, ToCon e_1 e_2, ToCon f_1 f_2, ToCon g_1 g_2, ToCon h_1 h_2, ToCon i_1 i_2, ToCon j_1 j_2, ToCon k_1 k_2, ToCon l_1 l_2, ToCon m_1 m_2) => ToCon1 ((,,,,,,,,,,,,,) 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.ToCon

Methods

liftToCon :: (a -> Maybe 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) -> Maybe (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)

(ToCon a_1 a_2, ToCon b_1 b_2, ToCon c_1 c_2, ToCon d_1 d_2, ToCon e_1 e_2, ToCon f_1 f_2, ToCon g_1 g_2, ToCon h_1 h_2, ToCon i_1 i_2, ToCon j_1 j_2, ToCon k_1 k_2, ToCon l_1 l_2, ToCon m_1 m_2, ToCon n_1 n_2) => ToCon1 ((,,,,,,,,,,,,,,) 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.ToCon

Methods

liftToCon :: (a -> Maybe 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) -> Maybe (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)

toCon1 :: (ToCon1 f1 f2, ToCon a b) => f1 a -> Maybe (f2 b)

Lift the standard toCon to unary type constructors.

class (forall a b. ToCon a b => ToCon1 (f1 a) (f2 b)) => ToCon2 f1 f2 where

Lifting of ToCon to binary type constructors.

Methods

liftToCon2 :: (a -> Maybe b) -> (c -> Maybe d) -> f1 a c -> Maybe (f2 b d)

Lift conversion to concrete functions to binary type constructors.

Instances

ToCon2 Either Either

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

Methods

liftToCon2 :: (a -> Maybe b) -> (c -> Maybe d) -> Either a c -> Maybe (Either b d)

ToCon2 (,) (,)

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

Methods

liftToCon2 :: (a -> Maybe b) -> (c -> Maybe d) -> (a, c) -> Maybe (b, d)

ToCon a b => ToCon2 ((,,) a) ((,,) b)

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

Methods

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

(ToCon a c, ToCon b d) => ToCon2 ((,,,) a b) ((,,,) c d)

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

Methods

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

toCon2 :: (ToCon2 f1 f2, ToCon a b, ToCon c d) => f1 a c -> Maybe (f2 b d)

Lift the standard toCon to binary type constructors.

Generic ToCon

data family ToConArgs arity a b :: Type

The arguments to the generic toCon function.

Instances

data ToConArgs Arity0 _ _1

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

data ToConArgs Arity0 _ _1 = ToConArgs0

newtype ToConArgs Arity1 a b

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

newtype ToConArgs Arity1 a b = ToConArgs1 (a -> Maybe b)

class GToCon arity f1 f2 where

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

Methods

gtoCon :: ToConArgs arity a b -> f1 a -> Maybe (f2 b)

Instances

GToCon Arity1 Par1 Par1

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

Methods

gtoCon :: ToConArgs Arity1 a b -> Par1 a -> Maybe (Par1 b)

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

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

Methods

gtoCon :: ToConArgs arity a b -> U1 a -> Maybe (U1 b)

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

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

Methods

gtoCon :: ToConArgs arity a b -> V1 a -> Maybe (V1 b)

ToCon1 f1 f2 => GToCon Arity1 (Rec1 f1) (Rec1 f2)

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

Methods

gtoCon :: ToConArgs Arity1 a b -> Rec1 f1 a -> Maybe (Rec1 f2 b)

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

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

Methods

gtoCon :: ToConArgs arity a0 b0 -> (a :*: c) a0 -> Maybe ((b :*: d) b0)

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

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

Methods

gtoCon :: ToConArgs arity a0 b0 -> (a :+: c) a0 -> Maybe ((b :+: d) b0)

ToCon a b => GToCon arity (K1 i a :: Type -> Type) (K1 i b :: Type -> Type)

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

Methods

gtoCon :: ToConArgs arity a0 b0 -> K1 i a a0 -> Maybe (K1 i b b0)

(ToCon1 f1 f2, GToCon Arity1 g1 g2) => GToCon Arity1 (f1 :.: g1) (f2 :.: g2)

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

Methods

gtoCon :: ToConArgs Arity1 a b -> (f1 :.: g1) a -> Maybe ((f2 :.: g2) b)

GToCon arity a b => GToCon arity (M1 i c1 a) (M1 i c2 b)

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

Methods

gtoCon :: ToConArgs arity a0 b0 -> M1 i c1 a a0 -> Maybe (M1 i c2 b b0)

genericToCon :: (Generic a, Generic b, GToCon Arity0 (Rep a) (Rep b)) => a -> Maybe b

Generic toCon function.

genericLiftToCon :: (Generic1 f1, Generic1 f2, GToCon Arity1 (Rep1 f1) (Rep1 f2)) => (a -> Maybe b) -> f1 a -> Maybe (f2 b)

Generic liftToCon function.