Copyright	(c) Sirui Lu 2024
License	BSD-3-Clause (see the LICENSE file)
Maintainer	siruilu@cs.washington.edu
Stability	Experimental
Portability	GHC only
Safe Haskell	None
Language	Haskell2010

Grisette.Internal.SymPrim.Prim.Internal.Serialize

Contents

Orphan instances

Description

Orphan instances

Binary ModelValue Source #
Instance details Methods put :: ModelValue -> Put # get :: Get ModelValue # putList :: [ModelValue] -> Put #
Binary SomeTerm Source #
Instance details Methods put :: SomeTerm -> Put # get :: Get SomeTerm # putList :: [SomeTerm] -> Put #
Serial ModelValue Source #
Instance details Methods serialize :: MonadPut m => ModelValue -> m () # deserialize :: MonadGet m => m ModelValue #
Serial SomeTerm Source #
Instance details Methods serialize :: MonadPut m => SomeTerm -> m () # deserialize :: MonadGet m => m SomeTerm #
Serialize ModelValue Source #
Instance details Methods put :: Putter ModelValue # get :: Get ModelValue #
Serialize SomeTerm Source #
Instance details Methods put :: Putter SomeTerm # get :: Get SomeTerm #
IsSymbolKind knd => Binary (SomeTypedSymbol knd) Source #
Instance details Methods put :: SomeTypedSymbol knd -> Put # get :: Get (SomeTypedSymbol knd) # putList :: [SomeTypedSymbol knd] -> Put #
SupportedPrim a => Binary (Term a) Source #
Instance details Methods put :: Term a -> Put # get :: Get (Term a) # putList :: [Term a] -> Put #
IsSymbolKind knd => Serial (SomeTypedSymbol knd) Source #
Instance details Methods serialize :: MonadPut m => SomeTypedSymbol knd -> m () # deserialize :: MonadGet m => m (SomeTypedSymbol knd) #
SupportedPrim a => Serial (Term a) Source #
Instance details Methods serialize :: MonadPut m => Term a -> m () # deserialize :: MonadGet m => m (Term a) #
IsSymbolKind knd => Serialize (SomeTypedSymbol knd) Source #
Instance details Methods put :: Putter (SomeTypedSymbol knd) # get :: Get (SomeTypedSymbol knd) #
SupportedPrim a => Serialize (Term a) Source #
Instance details Methods put :: Putter (Term a) # get :: Get (Term a) #
(GeneralFunArg a, GeneralFunArg b, GeneralFunArg c, GeneralFunArg d, GeneralFunArg e, GeneralFunArg f, GeneralFunArg g, GeneralFunArg h, GeneralFunArg i) => Binary (a --> (b --> (c --> (d --> (e --> (f --> (g --> (h --> i)))))))) Source #
Instance details Methods put :: (a --> (b --> (c --> (d --> (e --> (f --> (g --> (h --> i)))))))) -> Put # get :: Get (a --> (b --> (c --> (d --> (e --> (f --> (g --> (h --> i)))))))) # putList :: [a --> (b --> (c --> (d --> (e --> (f --> (g --> (h --> i)))))))] -> Put #
(GeneralFunArg a, GeneralFunArg b, GeneralFunArg c, GeneralFunArg d, GeneralFunArg e, GeneralFunArg f, GeneralFunArg g, GeneralFunArg h) => Binary (a --> (b --> (c --> (d --> (e --> (f --> (g --> h))))))) Source #
Instance details Methods put :: (a --> (b --> (c --> (d --> (e --> (f --> (g --> h))))))) -> Put # get :: Get (a --> (b --> (c --> (d --> (e --> (f --> (g --> h))))))) # putList :: [a --> (b --> (c --> (d --> (e --> (f --> (g --> h))))))] -> Put #
(GeneralFunArg a, GeneralFunArg b, GeneralFunArg c, GeneralFunArg d, GeneralFunArg e, GeneralFunArg f, GeneralFunArg g) => Binary (a --> (b --> (c --> (d --> (e --> (f --> g)))))) Source #
Instance details Methods put :: (a --> (b --> (c --> (d --> (e --> (f --> g)))))) -> Put # get :: Get (a --> (b --> (c --> (d --> (e --> (f --> g)))))) # putList :: [a --> (b --> (c --> (d --> (e --> (f --> g)))))] -> Put #
(GeneralFunArg a, GeneralFunArg b, GeneralFunArg c, GeneralFunArg d, GeneralFunArg e, GeneralFunArg f) => Binary (a --> (b --> (c --> (d --> (e --> f))))) Source #
Instance details Methods put :: (a --> (b --> (c --> (d --> (e --> f))))) -> Put # get :: Get (a --> (b --> (c --> (d --> (e --> f))))) # putList :: [a --> (b --> (c --> (d --> (e --> f))))] -> Put #
(GeneralFunArg a, GeneralFunArg b, GeneralFunArg c, GeneralFunArg d, GeneralFunArg e) => Binary (a --> (b --> (c --> (d --> e)))) Source #
Instance details Methods put :: (a --> (b --> (c --> (d --> e)))) -> Put # get :: Get (a --> (b --> (c --> (d --> e)))) # putList :: [a --> (b --> (c --> (d --> e)))] -> Put #
(GeneralFunArg a, GeneralFunArg b, GeneralFunArg c, GeneralFunArg d) => Binary (a --> (b --> (c --> d))) Source #
Instance details Methods put :: (a --> (b --> (c --> d))) -> Put # get :: Get (a --> (b --> (c --> d))) # putList :: [a --> (b --> (c --> d))] -> Put #
(GeneralFunArg a, GeneralFunArg b, GeneralFunArg c) => Binary (a --> (b --> c)) Source #
Instance details Methods put :: (a --> (b --> c)) -> Put # get :: Get (a --> (b --> c)) # putList :: [a --> (b --> c)] -> Put #
(GeneralFunArg a, GeneralFunArg b) => Binary (a --> b) Source #
Instance details Methods put :: (a --> b) -> Put # get :: Get (a --> b) # putList :: [a --> b] -> Put #
(IsSymbolKind knd, Typeable a) => Binary (TypedSymbol knd a) Source #
Instance details Methods put :: TypedSymbol knd a -> Put # get :: Get (TypedSymbol knd a) # putList :: [TypedSymbol knd a] -> Put #
(GeneralFunArg a, GeneralFunArg b, GeneralFunArg c, GeneralFunArg d, GeneralFunArg e, GeneralFunArg f, GeneralFunArg g, GeneralFunArg h, GeneralFunArg i) => Serial (a --> (b --> (c --> (d --> (e --> (f --> (g --> (h --> i)))))))) Source #
Instance details Methods serialize :: MonadPut m => (a --> (b --> (c --> (d --> (e --> (f --> (g --> (h --> i)))))))) -> m () # deserialize :: MonadGet m => m (a --> (b --> (c --> (d --> (e --> (f --> (g --> (h --> i)))))))) #
(GeneralFunArg a, GeneralFunArg b, GeneralFunArg c, GeneralFunArg d, GeneralFunArg e, GeneralFunArg f, GeneralFunArg g, GeneralFunArg h) => Serial (a --> (b --> (c --> (d --> (e --> (f --> (g --> h))))))) Source #
Instance details Methods serialize :: MonadPut m => (a --> (b --> (c --> (d --> (e --> (f --> (g --> h))))))) -> m () # deserialize :: MonadGet m => m (a --> (b --> (c --> (d --> (e --> (f --> (g --> h))))))) #
(GeneralFunArg a, GeneralFunArg b, GeneralFunArg c, GeneralFunArg d, GeneralFunArg e, GeneralFunArg f, GeneralFunArg g) => Serial (a --> (b --> (c --> (d --> (e --> (f --> g)))))) Source #
Instance details Methods serialize :: MonadPut m => (a --> (b --> (c --> (d --> (e --> (f --> g)))))) -> m () # deserialize :: MonadGet m => m (a --> (b --> (c --> (d --> (e --> (f --> g)))))) #
(GeneralFunArg a, GeneralFunArg b, GeneralFunArg c, GeneralFunArg d, GeneralFunArg e, GeneralFunArg f) => Serial (a --> (b --> (c --> (d --> (e --> f))))) Source #
Instance details Methods serialize :: MonadPut m => (a --> (b --> (c --> (d --> (e --> f))))) -> m () # deserialize :: MonadGet m => m (a --> (b --> (c --> (d --> (e --> f))))) #
(GeneralFunArg a, GeneralFunArg b, GeneralFunArg c, GeneralFunArg d, GeneralFunArg e) => Serial (a --> (b --> (c --> (d --> e)))) Source #
Instance details Methods serialize :: MonadPut m => (a --> (b --> (c --> (d --> e)))) -> m () # deserialize :: MonadGet m => m (a --> (b --> (c --> (d --> e)))) #
(GeneralFunArg a, GeneralFunArg b, GeneralFunArg c, GeneralFunArg d) => Serial (a --> (b --> (c --> d))) Source #
Instance details Methods serialize :: MonadPut m => (a --> (b --> (c --> d))) -> m () # deserialize :: MonadGet m => m (a --> (b --> (c --> d))) #
(GeneralFunArg a, GeneralFunArg b, GeneralFunArg c) => Serial (a --> (b --> c)) Source #
Instance details Methods serialize :: MonadPut m => (a --> (b --> c)) -> m () # deserialize :: MonadGet m => m (a --> (b --> c)) #
(GeneralFunArg a, GeneralFunArg b) => Serial (a --> b) Source #
Instance details Methods serialize :: MonadPut m => (a --> b) -> m () # deserialize :: MonadGet m => m (a --> b) #
(IsSymbolKind knd, Typeable a) => Serial (TypedSymbol knd a) Source #
Instance details Methods serialize :: MonadPut m => TypedSymbol knd a -> m () # deserialize :: MonadGet m => m (TypedSymbol knd a) #
(GeneralFunArg a, GeneralFunArg b, GeneralFunArg c, GeneralFunArg d, GeneralFunArg e, GeneralFunArg f, GeneralFunArg g, GeneralFunArg h, GeneralFunArg i) => Serialize (a --> (b --> (c --> (d --> (e --> (f --> (g --> (h --> i)))))))) Source #
Instance details Methods put :: Putter (a --> (b --> (c --> (d --> (e --> (f --> (g --> (h --> i)))))))) # get :: Get (a --> (b --> (c --> (d --> (e --> (f --> (g --> (h --> i)))))))) #
(GeneralFunArg a, GeneralFunArg b, GeneralFunArg c, GeneralFunArg d, GeneralFunArg e, GeneralFunArg f, GeneralFunArg g, GeneralFunArg h) => Serialize (a --> (b --> (c --> (d --> (e --> (f --> (g --> h))))))) Source #
Instance details Methods put :: Putter (a --> (b --> (c --> (d --> (e --> (f --> (g --> h))))))) # get :: Get (a --> (b --> (c --> (d --> (e --> (f --> (g --> h))))))) #
(GeneralFunArg a, GeneralFunArg b, GeneralFunArg c, GeneralFunArg d, GeneralFunArg e, GeneralFunArg f, GeneralFunArg g) => Serialize (a --> (b --> (c --> (d --> (e --> (f --> g)))))) Source #
Instance details Methods put :: Putter (a --> (b --> (c --> (d --> (e --> (f --> g)))))) # get :: Get (a --> (b --> (c --> (d --> (e --> (f --> g)))))) #
(GeneralFunArg a, GeneralFunArg b, GeneralFunArg c, GeneralFunArg d, GeneralFunArg e, GeneralFunArg f) => Serialize (a --> (b --> (c --> (d --> (e --> f))))) Source #
Instance details Methods put :: Putter (a --> (b --> (c --> (d --> (e --> f))))) # get :: Get (a --> (b --> (c --> (d --> (e --> f))))) #
(GeneralFunArg a, GeneralFunArg b, GeneralFunArg c, GeneralFunArg d, GeneralFunArg e) => Serialize (a --> (b --> (c --> (d --> e)))) Source #
Instance details Methods put :: Putter (a --> (b --> (c --> (d --> e)))) # get :: Get (a --> (b --> (c --> (d --> e)))) #
(GeneralFunArg a, GeneralFunArg b, GeneralFunArg c, GeneralFunArg d) => Serialize (a --> (b --> (c --> d))) Source #
Instance details Methods put :: Putter (a --> (b --> (c --> d))) # get :: Get (a --> (b --> (c --> d))) #
(GeneralFunArg a, GeneralFunArg b, GeneralFunArg c) => Serialize (a --> (b --> c)) Source #
Instance details Methods put :: Putter (a --> (b --> c)) # get :: Get (a --> (b --> c)) #
(GeneralFunArg a, GeneralFunArg b) => Serialize (a --> b) Source #
Instance details Methods put :: Putter (a --> b) # get :: Get (a --> b) #
(IsSymbolKind knd, Typeable a) => Serialize (TypedSymbol knd a) Source #
Instance details Methods put :: Putter (TypedSymbol knd a) # get :: Get (TypedSymbol knd a) #