Copyright	(c) 2019 Athan Clark
License	BSD-3-Style
Maintainer	athan.clark@gmail.com
Portability	GHC
Safe Haskell	None
Language	Haskell2010

Test.Serialization.Symbiote.Abides

Description

This module provides newtypes for ensuring consistent functionality with respect to various class laws: Monoids, SemiRing, etc are all included via the abides library. Note: This only verifies the consistency of behavior between platforms - if both platforms are broken (return False) consistently, the tests will pass. Prevent this by implementing a local test suite with QuickCheck, and use the abides property tests directly.

Documentation

newtype AbidesSemigroup a Source #

Constructors

AbidesSemigroup
Fields getAbidesSemigroup :: a

Instances

Eq a => Eq (AbidesSemigroup a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods (==) :: AbidesSemigroup a -> AbidesSemigroup a -> Bool # (/=) :: AbidesSemigroup a -> AbidesSemigroup a -> Bool #
Show a => Show (Operation (AbidesSemigroup a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods showsPrec :: Int -> Operation (AbidesSemigroup a) -> ShowS # show :: Operation (AbidesSemigroup a) -> String # showList :: [Operation (AbidesSemigroup a)] -> ShowS #
Show a => Show (AbidesSemigroup a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods showsPrec :: Int -> AbidesSemigroup a -> ShowS # show :: AbidesSemigroup a -> String # showList :: [AbidesSemigroup a] -> ShowS #
Generic (Operation (AbidesSemigroup a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types type Rep (Operation (AbidesSemigroup a)) :: Type -> Type # Methods from :: Operation (AbidesSemigroup a) -> Rep (Operation (AbidesSemigroup a)) x # to :: Rep (Operation (AbidesSemigroup a)) x -> Operation (AbidesSemigroup a) #
Generic (AbidesSemigroup a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types type Rep (AbidesSemigroup a) :: Type -> Type # Methods from :: AbidesSemigroup a -> Rep (AbidesSemigroup a) x # to :: Rep (AbidesSemigroup a) x -> AbidesSemigroup a #
Semigroup a => Semigroup (AbidesSemigroup a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods (<>) :: AbidesSemigroup a -> AbidesSemigroup a -> AbidesSemigroup a # sconcat :: NonEmpty (AbidesSemigroup a) -> AbidesSemigroup a # stimes :: Integral b => b -> AbidesSemigroup a -> AbidesSemigroup a #
Arbitrary a => Arbitrary (Operation (AbidesSemigroup a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods arbitrary :: Gen (Operation (AbidesSemigroup a)) # shrink :: Operation (AbidesSemigroup a) -> [Operation (AbidesSemigroup a)] #
Arbitrary a => Arbitrary (AbidesSemigroup a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods arbitrary :: Gen (AbidesSemigroup a) # shrink :: AbidesSemigroup a -> [AbidesSemigroup a] #
ToJSON a => ToJSON (Operation (AbidesSemigroup a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods toJSON :: Operation (AbidesSemigroup a) -> Value # toEncoding :: Operation (AbidesSemigroup a) -> Encoding # toJSONList :: [Operation (AbidesSemigroup a)] -> Value # toEncodingList :: [Operation (AbidesSemigroup a)] -> Encoding #
ToJSON a => ToJSON (AbidesSemigroup a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods toJSON :: AbidesSemigroup a -> Value # toEncoding :: AbidesSemigroup a -> Encoding # toJSONList :: [AbidesSemigroup a] -> Value # toEncodingList :: [AbidesSemigroup a] -> Encoding #
FromJSON a => FromJSON (Operation (AbidesSemigroup a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods parseJSON :: Value -> Parser (Operation (AbidesSemigroup a)) # parseJSONList :: Value -> Parser [Operation (AbidesSemigroup a)] #
FromJSON a => FromJSON (AbidesSemigroup a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods parseJSON :: Value -> Parser (AbidesSemigroup a) # parseJSONList :: Value -> Parser [AbidesSemigroup a] #
Serialize a => Serialize (Operation (AbidesSemigroup a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods put :: Putter (Operation (AbidesSemigroup a)) # get :: Get (Operation (AbidesSemigroup a)) #
Serialize a => Serialize (AbidesSemigroup a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods put :: Putter (AbidesSemigroup a) # get :: Get (AbidesSemigroup a) #
(Semigroup a, Eq a) => SymbioteOperation (AbidesSemigroup a) Bool Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types data Operation (AbidesSemigroup a) :: Type Source # Methods perform :: Operation (AbidesSemigroup a) -> AbidesSemigroup a -> Bool Source #
type Rep (Operation (AbidesSemigroup a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides type Rep (Operation (AbidesSemigroup a)) = D1 (MetaData "Operation" "Test.Serialization.Symbiote.Abides" "symbiote-0.0.5-CizdGLSttkNC7czGnIyxfU" False) (C1 (MetaCons "SemigroupAssociative" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AbidesSemigroup a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AbidesSemigroup a))))
type Rep (AbidesSemigroup a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides type Rep (AbidesSemigroup a) = D1 (MetaData "AbidesSemigroup" "Test.Serialization.Symbiote.Abides" "symbiote-0.0.5-CizdGLSttkNC7czGnIyxfU" True) (C1 (MetaCons "AbidesSemigroup" PrefixI True) (S1 (MetaSel (Just "getAbidesSemigroup") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))
data Operation (AbidesSemigroup a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides data Operation (AbidesSemigroup a) = SemigroupAssociative (AbidesSemigroup a) (AbidesSemigroup a)

newtype AbidesMonoid a Source #

Constructors

AbidesMonoid
Fields getAbidesMonoid :: a

Instances

Eq a => Eq (AbidesMonoid a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods (==) :: AbidesMonoid a -> AbidesMonoid a -> Bool # (/=) :: AbidesMonoid a -> AbidesMonoid a -> Bool #
Show a => Show (Operation (AbidesMonoid a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods showsPrec :: Int -> Operation (AbidesMonoid a) -> ShowS # show :: Operation (AbidesMonoid a) -> String # showList :: [Operation (AbidesMonoid a)] -> ShowS #
Show a => Show (AbidesMonoid a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods showsPrec :: Int -> AbidesMonoid a -> ShowS # show :: AbidesMonoid a -> String # showList :: [AbidesMonoid a] -> ShowS #
Generic (Operation (AbidesMonoid a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types type Rep (Operation (AbidesMonoid a)) :: Type -> Type # Methods from :: Operation (AbidesMonoid a) -> Rep (Operation (AbidesMonoid a)) x # to :: Rep (Operation (AbidesMonoid a)) x -> Operation (AbidesMonoid a) #
Generic (AbidesMonoid a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types type Rep (AbidesMonoid a) :: Type -> Type # Methods from :: AbidesMonoid a -> Rep (AbidesMonoid a) x # to :: Rep (AbidesMonoid a) x -> AbidesMonoid a #
Semigroup a => Semigroup (AbidesMonoid a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods (<>) :: AbidesMonoid a -> AbidesMonoid a -> AbidesMonoid a # sconcat :: NonEmpty (AbidesMonoid a) -> AbidesMonoid a # stimes :: Integral b => b -> AbidesMonoid a -> AbidesMonoid a #
Monoid a => Monoid (AbidesMonoid a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods mempty :: AbidesMonoid a # mappend :: AbidesMonoid a -> AbidesMonoid a -> AbidesMonoid a # mconcat :: [AbidesMonoid a] -> AbidesMonoid a #
Arbitrary a => Arbitrary (Operation (AbidesMonoid a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods arbitrary :: Gen (Operation (AbidesMonoid a)) # shrink :: Operation (AbidesMonoid a) -> [Operation (AbidesMonoid a)] #
Arbitrary a => Arbitrary (AbidesMonoid a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods arbitrary :: Gen (AbidesMonoid a) # shrink :: AbidesMonoid a -> [AbidesMonoid a] #
ToJSON a => ToJSON (Operation (AbidesMonoid a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods toJSON :: Operation (AbidesMonoid a) -> Value # toEncoding :: Operation (AbidesMonoid a) -> Encoding # toJSONList :: [Operation (AbidesMonoid a)] -> Value # toEncodingList :: [Operation (AbidesMonoid a)] -> Encoding #
ToJSON a => ToJSON (AbidesMonoid a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods toJSON :: AbidesMonoid a -> Value # toEncoding :: AbidesMonoid a -> Encoding # toJSONList :: [AbidesMonoid a] -> Value # toEncodingList :: [AbidesMonoid a] -> Encoding #
FromJSON a => FromJSON (Operation (AbidesMonoid a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods parseJSON :: Value -> Parser (Operation (AbidesMonoid a)) # parseJSONList :: Value -> Parser [Operation (AbidesMonoid a)] #
FromJSON a => FromJSON (AbidesMonoid a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods parseJSON :: Value -> Parser (AbidesMonoid a) # parseJSONList :: Value -> Parser [AbidesMonoid a] #
Serialize a => Serialize (Operation (AbidesMonoid a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods put :: Putter (Operation (AbidesMonoid a)) # get :: Get (Operation (AbidesMonoid a)) #
Serialize a => Serialize (AbidesMonoid a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods put :: Putter (AbidesMonoid a) # get :: Get (AbidesMonoid a) #
(Monoid a, Eq a) => SymbioteOperation (AbidesMonoid a) Bool Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types data Operation (AbidesMonoid a) :: Type Source # Methods perform :: Operation (AbidesMonoid a) -> AbidesMonoid a -> Bool Source #
type Rep (Operation (AbidesMonoid a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides type Rep (Operation (AbidesMonoid a)) = D1 (MetaData "Operation" "Test.Serialization.Symbiote.Abides" "symbiote-0.0.5-CizdGLSttkNC7czGnIyxfU" False) (C1 (MetaCons "MonoidSemigroup" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Operation (AbidesSemigroup a)))) :+: (C1 (MetaCons "MonoidLeftIdentity" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "MonoidRightIdentity" PrefixI False) (U1 :: Type -> Type)))
type Rep (AbidesMonoid a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides type Rep (AbidesMonoid a) = D1 (MetaData "AbidesMonoid" "Test.Serialization.Symbiote.Abides" "symbiote-0.0.5-CizdGLSttkNC7czGnIyxfU" True) (C1 (MetaCons "AbidesMonoid" PrefixI True) (S1 (MetaSel (Just "getAbidesMonoid") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))
data Operation (AbidesMonoid a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides data Operation (AbidesMonoid a) = MonoidSemigroup (Operation (AbidesSemigroup a)) \| MonoidLeftIdentity \| MonoidRightIdentity

newtype AbidesEq a Source #

Constructors

AbidesEq
Fields getAbidesEq :: a

Instances

Eq a => Eq (AbidesEq a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods (==) :: AbidesEq a -> AbidesEq a -> Bool # (/=) :: AbidesEq a -> AbidesEq a -> Bool #
Show a => Show (Operation (AbidesEq a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods showsPrec :: Int -> Operation (AbidesEq a) -> ShowS # show :: Operation (AbidesEq a) -> String # showList :: [Operation (AbidesEq a)] -> ShowS #
Show a => Show (AbidesEq a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods showsPrec :: Int -> AbidesEq a -> ShowS # show :: AbidesEq a -> String # showList :: [AbidesEq a] -> ShowS #
Generic (Operation (AbidesEq a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types type Rep (Operation (AbidesEq a)) :: Type -> Type # Methods from :: Operation (AbidesEq a) -> Rep (Operation (AbidesEq a)) x # to :: Rep (Operation (AbidesEq a)) x -> Operation (AbidesEq a) #
Generic (AbidesEq a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types type Rep (AbidesEq a) :: Type -> Type # Methods from :: AbidesEq a -> Rep (AbidesEq a) x # to :: Rep (AbidesEq a) x -> AbidesEq a #
Arbitrary a => Arbitrary (Operation (AbidesEq a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods arbitrary :: Gen (Operation (AbidesEq a)) # shrink :: Operation (AbidesEq a) -> [Operation (AbidesEq a)] #
Arbitrary a => Arbitrary (AbidesEq a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods arbitrary :: Gen (AbidesEq a) # shrink :: AbidesEq a -> [AbidesEq a] #
ToJSON a => ToJSON (Operation (AbidesEq a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods toJSON :: Operation (AbidesEq a) -> Value # toEncoding :: Operation (AbidesEq a) -> Encoding # toJSONList :: [Operation (AbidesEq a)] -> Value # toEncodingList :: [Operation (AbidesEq a)] -> Encoding #
ToJSON a => ToJSON (AbidesEq a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods toJSON :: AbidesEq a -> Value # toEncoding :: AbidesEq a -> Encoding # toJSONList :: [AbidesEq a] -> Value # toEncodingList :: [AbidesEq a] -> Encoding #
FromJSON a => FromJSON (Operation (AbidesEq a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods parseJSON :: Value -> Parser (Operation (AbidesEq a)) # parseJSONList :: Value -> Parser [Operation (AbidesEq a)] #
FromJSON a => FromJSON (AbidesEq a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods parseJSON :: Value -> Parser (AbidesEq a) # parseJSONList :: Value -> Parser [AbidesEq a] #
Serialize a => Serialize (Operation (AbidesEq a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods put :: Putter (Operation (AbidesEq a)) # get :: Get (Operation (AbidesEq a)) #
Serialize a => Serialize (AbidesEq a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods put :: Putter (AbidesEq a) # get :: Get (AbidesEq a) #
Eq a => SymbioteOperation (AbidesEq a) Bool Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types data Operation (AbidesEq a) :: Type Source # Methods perform :: Operation (AbidesEq a) -> AbidesEq a -> Bool Source #
type Rep (Operation (AbidesEq a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides type Rep (Operation (AbidesEq a)) = D1 (MetaData "Operation" "Test.Serialization.Symbiote.Abides" "symbiote-0.0.5-CizdGLSttkNC7czGnIyxfU" False) ((C1 (MetaCons "EqReflexive" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "EqSymmetry" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AbidesEq a)))) :+: (C1 (MetaCons "EqTransitive" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AbidesEq a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AbidesEq a))) :+: C1 (MetaCons "EqNegation" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AbidesEq a)))))
type Rep (AbidesEq a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides type Rep (AbidesEq a) = D1 (MetaData "AbidesEq" "Test.Serialization.Symbiote.Abides" "symbiote-0.0.5-CizdGLSttkNC7czGnIyxfU" True) (C1 (MetaCons "AbidesEq" PrefixI True) (S1 (MetaSel (Just "getAbidesEq") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))
data Operation (AbidesEq a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides data Operation (AbidesEq a) = EqReflexive \| EqSymmetry (AbidesEq a) \| EqTransitive (AbidesEq a) (AbidesEq a) \| EqNegation (AbidesEq a)

newtype AbidesOrd a Source #

Constructors

AbidesOrd
Fields getAbidesOrd :: a

Instances

Eq a => Eq (AbidesOrd a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods (==) :: AbidesOrd a -> AbidesOrd a -> Bool # (/=) :: AbidesOrd a -> AbidesOrd a -> Bool #
Ord a => Ord (AbidesOrd a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods compare :: AbidesOrd a -> AbidesOrd a -> Ordering # (<) :: AbidesOrd a -> AbidesOrd a -> Bool # (<=) :: AbidesOrd a -> AbidesOrd a -> Bool # (>) :: AbidesOrd a -> AbidesOrd a -> Bool # (>=) :: AbidesOrd a -> AbidesOrd a -> Bool # max :: AbidesOrd a -> AbidesOrd a -> AbidesOrd a # min :: AbidesOrd a -> AbidesOrd a -> AbidesOrd a #
Show a => Show (Operation (AbidesOrd a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods showsPrec :: Int -> Operation (AbidesOrd a) -> ShowS # show :: Operation (AbidesOrd a) -> String # showList :: [Operation (AbidesOrd a)] -> ShowS #
Show a => Show (AbidesOrd a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods showsPrec :: Int -> AbidesOrd a -> ShowS # show :: AbidesOrd a -> String # showList :: [AbidesOrd a] -> ShowS #
Generic (Operation (AbidesOrd a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types type Rep (Operation (AbidesOrd a)) :: Type -> Type # Methods from :: Operation (AbidesOrd a) -> Rep (Operation (AbidesOrd a)) x # to :: Rep (Operation (AbidesOrd a)) x -> Operation (AbidesOrd a) #
Generic (AbidesOrd a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types type Rep (AbidesOrd a) :: Type -> Type # Methods from :: AbidesOrd a -> Rep (AbidesOrd a) x # to :: Rep (AbidesOrd a) x -> AbidesOrd a #
Arbitrary a => Arbitrary (Operation (AbidesOrd a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods arbitrary :: Gen (Operation (AbidesOrd a)) # shrink :: Operation (AbidesOrd a) -> [Operation (AbidesOrd a)] #
Arbitrary a => Arbitrary (AbidesOrd a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods arbitrary :: Gen (AbidesOrd a) # shrink :: AbidesOrd a -> [AbidesOrd a] #
ToJSON a => ToJSON (Operation (AbidesOrd a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods toJSON :: Operation (AbidesOrd a) -> Value # toEncoding :: Operation (AbidesOrd a) -> Encoding # toJSONList :: [Operation (AbidesOrd a)] -> Value # toEncodingList :: [Operation (AbidesOrd a)] -> Encoding #
ToJSON a => ToJSON (AbidesOrd a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods toJSON :: AbidesOrd a -> Value # toEncoding :: AbidesOrd a -> Encoding # toJSONList :: [AbidesOrd a] -> Value # toEncodingList :: [AbidesOrd a] -> Encoding #
FromJSON a => FromJSON (Operation (AbidesOrd a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods parseJSON :: Value -> Parser (Operation (AbidesOrd a)) # parseJSONList :: Value -> Parser [Operation (AbidesOrd a)] #
FromJSON a => FromJSON (AbidesOrd a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods parseJSON :: Value -> Parser (AbidesOrd a) # parseJSONList :: Value -> Parser [AbidesOrd a] #
Serialize a => Serialize (Operation (AbidesOrd a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods put :: Putter (Operation (AbidesOrd a)) # get :: Get (Operation (AbidesOrd a)) #
Serialize a => Serialize (AbidesOrd a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods put :: Putter (AbidesOrd a) # get :: Get (AbidesOrd a) #
Ord a => SymbioteOperation (AbidesOrd a) Bool Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types data Operation (AbidesOrd a) :: Type Source # Methods perform :: Operation (AbidesOrd a) -> AbidesOrd a -> Bool Source #
type Rep (Operation (AbidesOrd a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides type Rep (Operation (AbidesOrd a)) = D1 (MetaData "Operation" "Test.Serialization.Symbiote.Abides" "symbiote-0.0.5-CizdGLSttkNC7czGnIyxfU" False) ((C1 (MetaCons "OrdEq" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Operation (AbidesEq a)))) :+: C1 (MetaCons "OrdReflexive" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "OrdAntiSymmetry" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AbidesOrd a))) :+: C1 (MetaCons "OrdTransitive" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AbidesOrd a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AbidesOrd a)))))
type Rep (AbidesOrd a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides type Rep (AbidesOrd a) = D1 (MetaData "AbidesOrd" "Test.Serialization.Symbiote.Abides" "symbiote-0.0.5-CizdGLSttkNC7czGnIyxfU" True) (C1 (MetaCons "AbidesOrd" PrefixI True) (S1 (MetaSel (Just "getAbidesOrd") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))
data Operation (AbidesOrd a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides data Operation (AbidesOrd a) = OrdEq (Operation (AbidesEq a)) \| OrdReflexive \| OrdAntiSymmetry (AbidesOrd a) \| OrdTransitive (AbidesOrd a) (AbidesOrd a)

newtype AbidesEnum a Source #

Constructors

AbidesEnum
Fields getAbidesEnum :: a

Instances

Enum a => Enum (AbidesEnum a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods succ :: AbidesEnum a -> AbidesEnum a # pred :: AbidesEnum a -> AbidesEnum a # toEnum :: Int -> AbidesEnum a # fromEnum :: AbidesEnum a -> Int # enumFrom :: AbidesEnum a -> [AbidesEnum a] # enumFromThen :: AbidesEnum a -> AbidesEnum a -> [AbidesEnum a] # enumFromTo :: AbidesEnum a -> AbidesEnum a -> [AbidesEnum a] # enumFromThenTo :: AbidesEnum a -> AbidesEnum a -> AbidesEnum a -> [AbidesEnum a] #
Eq a => Eq (AbidesEnum a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods (==) :: AbidesEnum a -> AbidesEnum a -> Bool # (/=) :: AbidesEnum a -> AbidesEnum a -> Bool #
Ord a => Ord (AbidesEnum a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods compare :: AbidesEnum a -> AbidesEnum a -> Ordering # (<) :: AbidesEnum a -> AbidesEnum a -> Bool # (<=) :: AbidesEnum a -> AbidesEnum a -> Bool # (>) :: AbidesEnum a -> AbidesEnum a -> Bool # (>=) :: AbidesEnum a -> AbidesEnum a -> Bool # max :: AbidesEnum a -> AbidesEnum a -> AbidesEnum a # min :: AbidesEnum a -> AbidesEnum a -> AbidesEnum a #
Show a => Show (Operation (AbidesEnum a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods showsPrec :: Int -> Operation (AbidesEnum a) -> ShowS # show :: Operation (AbidesEnum a) -> String # showList :: [Operation (AbidesEnum a)] -> ShowS #
Show a => Show (AbidesEnum a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods showsPrec :: Int -> AbidesEnum a -> ShowS # show :: AbidesEnum a -> String # showList :: [AbidesEnum a] -> ShowS #
Generic (Operation (AbidesEnum a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types type Rep (Operation (AbidesEnum a)) :: Type -> Type # Methods from :: Operation (AbidesEnum a) -> Rep (Operation (AbidesEnum a)) x # to :: Rep (Operation (AbidesEnum a)) x -> Operation (AbidesEnum a) #
Generic (AbidesEnum a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types type Rep (AbidesEnum a) :: Type -> Type # Methods from :: AbidesEnum a -> Rep (AbidesEnum a) x # to :: Rep (AbidesEnum a) x -> AbidesEnum a #
Arbitrary a => Arbitrary (Operation (AbidesEnum a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods arbitrary :: Gen (Operation (AbidesEnum a)) # shrink :: Operation (AbidesEnum a) -> [Operation (AbidesEnum a)] #
Arbitrary a => Arbitrary (AbidesEnum a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods arbitrary :: Gen (AbidesEnum a) # shrink :: AbidesEnum a -> [AbidesEnum a] #
ToJSON a => ToJSON (Operation (AbidesEnum a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods toJSON :: Operation (AbidesEnum a) -> Value # toEncoding :: Operation (AbidesEnum a) -> Encoding # toJSONList :: [Operation (AbidesEnum a)] -> Value # toEncodingList :: [Operation (AbidesEnum a)] -> Encoding #
ToJSON a => ToJSON (AbidesEnum a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods toJSON :: AbidesEnum a -> Value # toEncoding :: AbidesEnum a -> Encoding # toJSONList :: [AbidesEnum a] -> Value # toEncodingList :: [AbidesEnum a] -> Encoding #
FromJSON a => FromJSON (Operation (AbidesEnum a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods parseJSON :: Value -> Parser (Operation (AbidesEnum a)) # parseJSONList :: Value -> Parser [Operation (AbidesEnum a)] #
FromJSON a => FromJSON (AbidesEnum a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods parseJSON :: Value -> Parser (AbidesEnum a) # parseJSONList :: Value -> Parser [AbidesEnum a] #
Serialize a => Serialize (Operation (AbidesEnum a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods put :: Putter (Operation (AbidesEnum a)) # get :: Get (Operation (AbidesEnum a)) #
Serialize a => Serialize (AbidesEnum a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods put :: Putter (AbidesEnum a) # get :: Get (AbidesEnum a) #
(Enum a, Ord a) => SymbioteOperation (AbidesEnum a) Bool Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types data Operation (AbidesEnum a) :: Type Source # Methods perform :: Operation (AbidesEnum a) -> AbidesEnum a -> Bool Source #
type Rep (Operation (AbidesEnum a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides type Rep (Operation (AbidesEnum a)) = D1 (MetaData "Operation" "Test.Serialization.Symbiote.Abides" "symbiote-0.0.5-CizdGLSttkNC7czGnIyxfU" False) ((C1 (MetaCons "EnumOrd" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Operation (AbidesOrd a)))) :+: C1 (MetaCons "EnumCompareHom" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AbidesEnum a)))) :+: (C1 (MetaCons "EnumPredSucc" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "EnumSuccPred" PrefixI False) (U1 :: Type -> Type)))
type Rep (AbidesEnum a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides type Rep (AbidesEnum a) = D1 (MetaData "AbidesEnum" "Test.Serialization.Symbiote.Abides" "symbiote-0.0.5-CizdGLSttkNC7czGnIyxfU" True) (C1 (MetaCons "AbidesEnum" PrefixI True) (S1 (MetaSel (Just "getAbidesEnum") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))
data Operation (AbidesEnum a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides data Operation (AbidesEnum a) = EnumOrd (Operation (AbidesOrd a)) \| EnumCompareHom (AbidesEnum a) \| EnumPredSucc \| EnumSuccPred

newtype AbidesSemiring a Source #

Constructors

AbidesSemiring
Fields getAbidesSemiring :: a

Instances

Eq a => Eq (AbidesSemiring a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods (==) :: AbidesSemiring a -> AbidesSemiring a -> Bool # (/=) :: AbidesSemiring a -> AbidesSemiring a -> Bool #
Num a => Num (AbidesSemiring a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods (+) :: AbidesSemiring a -> AbidesSemiring a -> AbidesSemiring a # (-) :: AbidesSemiring a -> AbidesSemiring a -> AbidesSemiring a # (*) :: AbidesSemiring a -> AbidesSemiring a -> AbidesSemiring a # negate :: AbidesSemiring a -> AbidesSemiring a # abs :: AbidesSemiring a -> AbidesSemiring a # signum :: AbidesSemiring a -> AbidesSemiring a # fromInteger :: Integer -> AbidesSemiring a #
Show a => Show (Operation (AbidesSemiring a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods showsPrec :: Int -> Operation (AbidesSemiring a) -> ShowS # show :: Operation (AbidesSemiring a) -> String # showList :: [Operation (AbidesSemiring a)] -> ShowS #
Show a => Show (AbidesSemiring a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods showsPrec :: Int -> AbidesSemiring a -> ShowS # show :: AbidesSemiring a -> String # showList :: [AbidesSemiring a] -> ShowS #
Generic (Operation (AbidesSemiring a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types type Rep (Operation (AbidesSemiring a)) :: Type -> Type # Methods from :: Operation (AbidesSemiring a) -> Rep (Operation (AbidesSemiring a)) x # to :: Rep (Operation (AbidesSemiring a)) x -> Operation (AbidesSemiring a) #
Generic (AbidesSemiring a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types type Rep (AbidesSemiring a) :: Type -> Type # Methods from :: AbidesSemiring a -> Rep (AbidesSemiring a) x # to :: Rep (AbidesSemiring a) x -> AbidesSemiring a #
Arbitrary a => Arbitrary (Operation (AbidesSemiring a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods arbitrary :: Gen (Operation (AbidesSemiring a)) # shrink :: Operation (AbidesSemiring a) -> [Operation (AbidesSemiring a)] #
Arbitrary a => Arbitrary (AbidesSemiring a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods arbitrary :: Gen (AbidesSemiring a) # shrink :: AbidesSemiring a -> [AbidesSemiring a] #
ToJSON a => ToJSON (Operation (AbidesSemiring a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods toJSON :: Operation (AbidesSemiring a) -> Value # toEncoding :: Operation (AbidesSemiring a) -> Encoding # toJSONList :: [Operation (AbidesSemiring a)] -> Value # toEncodingList :: [Operation (AbidesSemiring a)] -> Encoding #
ToJSON a => ToJSON (AbidesSemiring a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods toJSON :: AbidesSemiring a -> Value # toEncoding :: AbidesSemiring a -> Encoding # toJSONList :: [AbidesSemiring a] -> Value # toEncodingList :: [AbidesSemiring a] -> Encoding #
FromJSON a => FromJSON (Operation (AbidesSemiring a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods parseJSON :: Value -> Parser (Operation (AbidesSemiring a)) # parseJSONList :: Value -> Parser [Operation (AbidesSemiring a)] #
FromJSON a => FromJSON (AbidesSemiring a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods parseJSON :: Value -> Parser (AbidesSemiring a) # parseJSONList :: Value -> Parser [AbidesSemiring a] #
Serialize a => Serialize (Operation (AbidesSemiring a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods put :: Putter (Operation (AbidesSemiring a)) # get :: Get (Operation (AbidesSemiring a)) #
Serialize a => Serialize (AbidesSemiring a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods put :: Putter (AbidesSemiring a) # get :: Get (AbidesSemiring a) #
(Num a, Eq a) => SymbioteOperation (AbidesSemiring a) Bool Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types data Operation (AbidesSemiring a) :: Type Source # Methods perform :: Operation (AbidesSemiring a) -> AbidesSemiring a -> Bool Source #
type Rep (Operation (AbidesSemiring a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides type Rep (Operation (AbidesSemiring a)) = D1 (MetaData "Operation" "Test.Serialization.Symbiote.Abides" "symbiote-0.0.5-CizdGLSttkNC7czGnIyxfU" False) ((C1 (MetaCons "SemiringCommutativeMonoid" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AbidesSemiring a)) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AbidesSemiring a))) :+: C1 (MetaCons "SemiringMonoid" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AbidesSemiring a)) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AbidesSemiring a)))) :+: (C1 (MetaCons "SemiringLeftDistributive" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AbidesSemiring a)) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AbidesSemiring a))) :+: (C1 (MetaCons "SemiringRightDistributive" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AbidesSemiring a)) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AbidesSemiring a))) :+: C1 (MetaCons "SemiringAnnihilation" PrefixI False) (U1 :: Type -> Type))))
type Rep (AbidesSemiring a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides type Rep (AbidesSemiring a) = D1 (MetaData "AbidesSemiring" "Test.Serialization.Symbiote.Abides" "symbiote-0.0.5-CizdGLSttkNC7czGnIyxfU" True) (C1 (MetaCons "AbidesSemiring" PrefixI True) (S1 (MetaSel (Just "getAbidesSemiring") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))
data Operation (AbidesSemiring a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides data Operation (AbidesSemiring a) = SemiringCommutativeMonoid (AbidesSemiring a) (AbidesSemiring a) \| SemiringMonoid (AbidesSemiring a) (AbidesSemiring a) \| SemiringLeftDistributive (AbidesSemiring a) (AbidesSemiring a) \| SemiringRightDistributive (AbidesSemiring a) (AbidesSemiring a) \| SemiringAnnihilation

newtype AbidesRing a Source #

Constructors

AbidesRing
Fields getAbidesRing :: a

Instances

Eq a => Eq (AbidesRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods (==) :: AbidesRing a -> AbidesRing a -> Bool # (/=) :: AbidesRing a -> AbidesRing a -> Bool #
Num a => Num (AbidesRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods (+) :: AbidesRing a -> AbidesRing a -> AbidesRing a # (-) :: AbidesRing a -> AbidesRing a -> AbidesRing a # (*) :: AbidesRing a -> AbidesRing a -> AbidesRing a # negate :: AbidesRing a -> AbidesRing a # abs :: AbidesRing a -> AbidesRing a # signum :: AbidesRing a -> AbidesRing a # fromInteger :: Integer -> AbidesRing a #
Show a => Show (Operation (AbidesRing a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods showsPrec :: Int -> Operation (AbidesRing a) -> ShowS # show :: Operation (AbidesRing a) -> String # showList :: [Operation (AbidesRing a)] -> ShowS #
Show a => Show (AbidesRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods showsPrec :: Int -> AbidesRing a -> ShowS # show :: AbidesRing a -> String # showList :: [AbidesRing a] -> ShowS #
Generic (Operation (AbidesRing a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types type Rep (Operation (AbidesRing a)) :: Type -> Type # Methods from :: Operation (AbidesRing a) -> Rep (Operation (AbidesRing a)) x # to :: Rep (Operation (AbidesRing a)) x -> Operation (AbidesRing a) #
Generic (AbidesRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types type Rep (AbidesRing a) :: Type -> Type # Methods from :: AbidesRing a -> Rep (AbidesRing a) x # to :: Rep (AbidesRing a) x -> AbidesRing a #
Arbitrary a => Arbitrary (Operation (AbidesRing a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods arbitrary :: Gen (Operation (AbidesRing a)) # shrink :: Operation (AbidesRing a) -> [Operation (AbidesRing a)] #
Arbitrary a => Arbitrary (AbidesRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods arbitrary :: Gen (AbidesRing a) # shrink :: AbidesRing a -> [AbidesRing a] #
ToJSON a => ToJSON (Operation (AbidesRing a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods toJSON :: Operation (AbidesRing a) -> Value # toEncoding :: Operation (AbidesRing a) -> Encoding # toJSONList :: [Operation (AbidesRing a)] -> Value # toEncodingList :: [Operation (AbidesRing a)] -> Encoding #
ToJSON a => ToJSON (AbidesRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods toJSON :: AbidesRing a -> Value # toEncoding :: AbidesRing a -> Encoding # toJSONList :: [AbidesRing a] -> Value # toEncodingList :: [AbidesRing a] -> Encoding #
FromJSON a => FromJSON (Operation (AbidesRing a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods parseJSON :: Value -> Parser (Operation (AbidesRing a)) # parseJSONList :: Value -> Parser [Operation (AbidesRing a)] #
FromJSON a => FromJSON (AbidesRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods parseJSON :: Value -> Parser (AbidesRing a) # parseJSONList :: Value -> Parser [AbidesRing a] #
Serialize a => Serialize (Operation (AbidesRing a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods put :: Putter (Operation (AbidesRing a)) # get :: Get (Operation (AbidesRing a)) #
Serialize a => Serialize (AbidesRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods put :: Putter (AbidesRing a) # get :: Get (AbidesRing a) #
(Num a, Eq a) => SymbioteOperation (AbidesRing a) Bool Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types data Operation (AbidesRing a) :: Type Source # Methods perform :: Operation (AbidesRing a) -> AbidesRing a -> Bool Source #
type Rep (Operation (AbidesRing a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides type Rep (Operation (AbidesRing a)) = D1 (MetaData "Operation" "Test.Serialization.Symbiote.Abides" "symbiote-0.0.5-CizdGLSttkNC7czGnIyxfU" False) (C1 (MetaCons "RingSemiring" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Operation (AbidesSemiring a)))) :+: C1 (MetaCons "RingAdditiveInverse" PrefixI False) (U1 :: Type -> Type))
type Rep (AbidesRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides type Rep (AbidesRing a) = D1 (MetaData "AbidesRing" "Test.Serialization.Symbiote.Abides" "symbiote-0.0.5-CizdGLSttkNC7czGnIyxfU" True) (C1 (MetaCons "AbidesRing" PrefixI True) (S1 (MetaSel (Just "getAbidesRing") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))
data Operation (AbidesRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides data Operation (AbidesRing a) = RingSemiring (Operation (AbidesSemiring a)) \| RingAdditiveInverse

newtype AbidesCommutativeRing a Source #

Constructors

AbidesCommutativeRing
Fields getAbidesCommutativeRing :: a

Instances

Eq a => Eq (AbidesCommutativeRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods (==) :: AbidesCommutativeRing a -> AbidesCommutativeRing a -> Bool # (/=) :: AbidesCommutativeRing a -> AbidesCommutativeRing a -> Bool #
Num a => Num (AbidesCommutativeRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods (+) :: AbidesCommutativeRing a -> AbidesCommutativeRing a -> AbidesCommutativeRing a # (-) :: AbidesCommutativeRing a -> AbidesCommutativeRing a -> AbidesCommutativeRing a # (*) :: AbidesCommutativeRing a -> AbidesCommutativeRing a -> AbidesCommutativeRing a # negate :: AbidesCommutativeRing a -> AbidesCommutativeRing a # abs :: AbidesCommutativeRing a -> AbidesCommutativeRing a # signum :: AbidesCommutativeRing a -> AbidesCommutativeRing a # fromInteger :: Integer -> AbidesCommutativeRing a #
Show a => Show (Operation (AbidesCommutativeRing a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods showsPrec :: Int -> Operation (AbidesCommutativeRing a) -> ShowS # show :: Operation (AbidesCommutativeRing a) -> String # showList :: [Operation (AbidesCommutativeRing a)] -> ShowS #
Show a => Show (AbidesCommutativeRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods showsPrec :: Int -> AbidesCommutativeRing a -> ShowS # show :: AbidesCommutativeRing a -> String # showList :: [AbidesCommutativeRing a] -> ShowS #
Generic (Operation (AbidesCommutativeRing a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types type Rep (Operation (AbidesCommutativeRing a)) :: Type -> Type # Methods from :: Operation (AbidesCommutativeRing a) -> Rep (Operation (AbidesCommutativeRing a)) x # to :: Rep (Operation (AbidesCommutativeRing a)) x -> Operation (AbidesCommutativeRing a) #
Generic (AbidesCommutativeRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types type Rep (AbidesCommutativeRing a) :: Type -> Type # Methods from :: AbidesCommutativeRing a -> Rep (AbidesCommutativeRing a) x # to :: Rep (AbidesCommutativeRing a) x -> AbidesCommutativeRing a #
Arbitrary a => Arbitrary (Operation (AbidesCommutativeRing a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods arbitrary :: Gen (Operation (AbidesCommutativeRing a)) # shrink :: Operation (AbidesCommutativeRing a) -> [Operation (AbidesCommutativeRing a)] #
Arbitrary a => Arbitrary (AbidesCommutativeRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods arbitrary :: Gen (AbidesCommutativeRing a) # shrink :: AbidesCommutativeRing a -> [AbidesCommutativeRing a] #
ToJSON a => ToJSON (Operation (AbidesCommutativeRing a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods toJSON :: Operation (AbidesCommutativeRing a) -> Value # toEncoding :: Operation (AbidesCommutativeRing a) -> Encoding # toJSONList :: [Operation (AbidesCommutativeRing a)] -> Value # toEncodingList :: [Operation (AbidesCommutativeRing a)] -> Encoding #
ToJSON a => ToJSON (AbidesCommutativeRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods toJSON :: AbidesCommutativeRing a -> Value # toEncoding :: AbidesCommutativeRing a -> Encoding # toJSONList :: [AbidesCommutativeRing a] -> Value # toEncodingList :: [AbidesCommutativeRing a] -> Encoding #
FromJSON a => FromJSON (Operation (AbidesCommutativeRing a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods parseJSON :: Value -> Parser (Operation (AbidesCommutativeRing a)) # parseJSONList :: Value -> Parser [Operation (AbidesCommutativeRing a)] #
FromJSON a => FromJSON (AbidesCommutativeRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods parseJSON :: Value -> Parser (AbidesCommutativeRing a) # parseJSONList :: Value -> Parser [AbidesCommutativeRing a] #
Serialize a => Serialize (Operation (AbidesCommutativeRing a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods put :: Putter (Operation (AbidesCommutativeRing a)) # get :: Get (Operation (AbidesCommutativeRing a)) #
Serialize a => Serialize (AbidesCommutativeRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods put :: Putter (AbidesCommutativeRing a) # get :: Get (AbidesCommutativeRing a) #
(Num a, Eq a) => SymbioteOperation (AbidesCommutativeRing a) Bool Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types data Operation (AbidesCommutativeRing a) :: Type Source # Methods perform :: Operation (AbidesCommutativeRing a) -> AbidesCommutativeRing a -> Bool Source #
type Rep (Operation (AbidesCommutativeRing a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides type Rep (Operation (AbidesCommutativeRing a)) = D1 (MetaData "Operation" "Test.Serialization.Symbiote.Abides" "symbiote-0.0.5-CizdGLSttkNC7czGnIyxfU" False) (C1 (MetaCons "CommutativeRingRing" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Operation (AbidesRing a)))) :+: C1 (MetaCons "CommutativeRingCommutative" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AbidesCommutativeRing a))))
type Rep (AbidesCommutativeRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides type Rep (AbidesCommutativeRing a) = D1 (MetaData "AbidesCommutativeRing" "Test.Serialization.Symbiote.Abides" "symbiote-0.0.5-CizdGLSttkNC7czGnIyxfU" True) (C1 (MetaCons "AbidesCommutativeRing" PrefixI True) (S1 (MetaSel (Just "getAbidesCommutativeRing") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))
data Operation (AbidesCommutativeRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides data Operation (AbidesCommutativeRing a) = CommutativeRingRing (Operation (AbidesRing a)) \| CommutativeRingCommutative (AbidesCommutativeRing a)

newtype AbidesDivisionRing a Source #

Constructors

AbidesDivisionRing
Fields getAbidesDivisionRing :: a

Instances

Eq a => Eq (AbidesDivisionRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods (==) :: AbidesDivisionRing a -> AbidesDivisionRing a -> Bool # (/=) :: AbidesDivisionRing a -> AbidesDivisionRing a -> Bool #
Fractional a => Fractional (AbidesDivisionRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods (/) :: AbidesDivisionRing a -> AbidesDivisionRing a -> AbidesDivisionRing a # recip :: AbidesDivisionRing a -> AbidesDivisionRing a # fromRational :: Rational -> AbidesDivisionRing a #
Num a => Num (AbidesDivisionRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods (+) :: AbidesDivisionRing a -> AbidesDivisionRing a -> AbidesDivisionRing a # (-) :: AbidesDivisionRing a -> AbidesDivisionRing a -> AbidesDivisionRing a # (*) :: AbidesDivisionRing a -> AbidesDivisionRing a -> AbidesDivisionRing a # negate :: AbidesDivisionRing a -> AbidesDivisionRing a # abs :: AbidesDivisionRing a -> AbidesDivisionRing a # signum :: AbidesDivisionRing a -> AbidesDivisionRing a # fromInteger :: Integer -> AbidesDivisionRing a #
Show a => Show (Operation (AbidesDivisionRing a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods showsPrec :: Int -> Operation (AbidesDivisionRing a) -> ShowS # show :: Operation (AbidesDivisionRing a) -> String # showList :: [Operation (AbidesDivisionRing a)] -> ShowS #
Show a => Show (AbidesDivisionRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods showsPrec :: Int -> AbidesDivisionRing a -> ShowS # show :: AbidesDivisionRing a -> String # showList :: [AbidesDivisionRing a] -> ShowS #
Generic (Operation (AbidesDivisionRing a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types type Rep (Operation (AbidesDivisionRing a)) :: Type -> Type # Methods from :: Operation (AbidesDivisionRing a) -> Rep (Operation (AbidesDivisionRing a)) x # to :: Rep (Operation (AbidesDivisionRing a)) x -> Operation (AbidesDivisionRing a) #
Generic (AbidesDivisionRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types type Rep (AbidesDivisionRing a) :: Type -> Type # Methods from :: AbidesDivisionRing a -> Rep (AbidesDivisionRing a) x # to :: Rep (AbidesDivisionRing a) x -> AbidesDivisionRing a #
Arbitrary a => Arbitrary (Operation (AbidesDivisionRing a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods arbitrary :: Gen (Operation (AbidesDivisionRing a)) # shrink :: Operation (AbidesDivisionRing a) -> [Operation (AbidesDivisionRing a)] #
Arbitrary a => Arbitrary (AbidesDivisionRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods arbitrary :: Gen (AbidesDivisionRing a) # shrink :: AbidesDivisionRing a -> [AbidesDivisionRing a] #
ToJSON a => ToJSON (Operation (AbidesDivisionRing a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods toJSON :: Operation (AbidesDivisionRing a) -> Value # toEncoding :: Operation (AbidesDivisionRing a) -> Encoding # toJSONList :: [Operation (AbidesDivisionRing a)] -> Value # toEncodingList :: [Operation (AbidesDivisionRing a)] -> Encoding #
ToJSON a => ToJSON (AbidesDivisionRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods toJSON :: AbidesDivisionRing a -> Value # toEncoding :: AbidesDivisionRing a -> Encoding # toJSONList :: [AbidesDivisionRing a] -> Value # toEncodingList :: [AbidesDivisionRing a] -> Encoding #
FromJSON a => FromJSON (Operation (AbidesDivisionRing a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods parseJSON :: Value -> Parser (Operation (AbidesDivisionRing a)) # parseJSONList :: Value -> Parser [Operation (AbidesDivisionRing a)] #
FromJSON a => FromJSON (AbidesDivisionRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods parseJSON :: Value -> Parser (AbidesDivisionRing a) # parseJSONList :: Value -> Parser [AbidesDivisionRing a] #
Serialize a => Serialize (Operation (AbidesDivisionRing a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods put :: Putter (Operation (AbidesDivisionRing a)) # get :: Get (Operation (AbidesDivisionRing a)) #
Serialize a => Serialize (AbidesDivisionRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods put :: Putter (AbidesDivisionRing a) # get :: Get (AbidesDivisionRing a) #
(Fractional a, Eq a) => SymbioteOperation (AbidesDivisionRing a) Bool Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types data Operation (AbidesDivisionRing a) :: Type Source # Methods perform :: Operation (AbidesDivisionRing a) -> AbidesDivisionRing a -> Bool Source #
type Rep (Operation (AbidesDivisionRing a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides type Rep (Operation (AbidesDivisionRing a)) = D1 (MetaData "Operation" "Test.Serialization.Symbiote.Abides" "symbiote-0.0.5-CizdGLSttkNC7czGnIyxfU" False) (C1 (MetaCons "DivisionRingRing" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Operation (AbidesRing a)))) :+: C1 (MetaCons "DivisionRingInverse" PrefixI False) (U1 :: Type -> Type))
type Rep (AbidesDivisionRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides type Rep (AbidesDivisionRing a) = D1 (MetaData "AbidesDivisionRing" "Test.Serialization.Symbiote.Abides" "symbiote-0.0.5-CizdGLSttkNC7czGnIyxfU" True) (C1 (MetaCons "AbidesDivisionRing" PrefixI True) (S1 (MetaSel (Just "getAbidesDivisionRing") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))
data Operation (AbidesDivisionRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides data Operation (AbidesDivisionRing a) = DivisionRingRing (Operation (AbidesRing a)) \| DivisionRingInverse

newtype AbidesEuclideanRing a Source #

Constructors

AbidesEuclideanRing
Fields getAbidesEuclideanRing :: a

Instances

Eq a => Eq (AbidesEuclideanRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods (==) :: AbidesEuclideanRing a -> AbidesEuclideanRing a -> Bool # (/=) :: AbidesEuclideanRing a -> AbidesEuclideanRing a -> Bool #
Num a => Num (AbidesEuclideanRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods (+) :: AbidesEuclideanRing a -> AbidesEuclideanRing a -> AbidesEuclideanRing a # (-) :: AbidesEuclideanRing a -> AbidesEuclideanRing a -> AbidesEuclideanRing a # (*) :: AbidesEuclideanRing a -> AbidesEuclideanRing a -> AbidesEuclideanRing a # negate :: AbidesEuclideanRing a -> AbidesEuclideanRing a # abs :: AbidesEuclideanRing a -> AbidesEuclideanRing a # signum :: AbidesEuclideanRing a -> AbidesEuclideanRing a # fromInteger :: Integer -> AbidesEuclideanRing a #
Show a => Show (Operation (AbidesEuclideanRing a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods showsPrec :: Int -> Operation (AbidesEuclideanRing a) -> ShowS # show :: Operation (AbidesEuclideanRing a) -> String # showList :: [Operation (AbidesEuclideanRing a)] -> ShowS #
Show a => Show (AbidesEuclideanRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods showsPrec :: Int -> AbidesEuclideanRing a -> ShowS # show :: AbidesEuclideanRing a -> String # showList :: [AbidesEuclideanRing a] -> ShowS #
Generic (Operation (AbidesEuclideanRing a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types type Rep (Operation (AbidesEuclideanRing a)) :: Type -> Type # Methods from :: Operation (AbidesEuclideanRing a) -> Rep (Operation (AbidesEuclideanRing a)) x # to :: Rep (Operation (AbidesEuclideanRing a)) x -> Operation (AbidesEuclideanRing a) #
Generic (AbidesEuclideanRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types type Rep (AbidesEuclideanRing a) :: Type -> Type # Methods from :: AbidesEuclideanRing a -> Rep (AbidesEuclideanRing a) x # to :: Rep (AbidesEuclideanRing a) x -> AbidesEuclideanRing a #
Arbitrary a => Arbitrary (Operation (AbidesEuclideanRing a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods arbitrary :: Gen (Operation (AbidesEuclideanRing a)) # shrink :: Operation (AbidesEuclideanRing a) -> [Operation (AbidesEuclideanRing a)] #
Arbitrary a => Arbitrary (AbidesEuclideanRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods arbitrary :: Gen (AbidesEuclideanRing a) # shrink :: AbidesEuclideanRing a -> [AbidesEuclideanRing a] #
ToJSON a => ToJSON (Operation (AbidesEuclideanRing a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods toJSON :: Operation (AbidesEuclideanRing a) -> Value # toEncoding :: Operation (AbidesEuclideanRing a) -> Encoding # toJSONList :: [Operation (AbidesEuclideanRing a)] -> Value # toEncodingList :: [Operation (AbidesEuclideanRing a)] -> Encoding #
ToJSON a => ToJSON (AbidesEuclideanRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods toJSON :: AbidesEuclideanRing a -> Value # toEncoding :: AbidesEuclideanRing a -> Encoding # toJSONList :: [AbidesEuclideanRing a] -> Value # toEncodingList :: [AbidesEuclideanRing a] -> Encoding #
FromJSON a => FromJSON (Operation (AbidesEuclideanRing a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods parseJSON :: Value -> Parser (Operation (AbidesEuclideanRing a)) # parseJSONList :: Value -> Parser [Operation (AbidesEuclideanRing a)] #
FromJSON a => FromJSON (AbidesEuclideanRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods parseJSON :: Value -> Parser (AbidesEuclideanRing a) # parseJSONList :: Value -> Parser [AbidesEuclideanRing a] #
Serialize a => Serialize (Operation (AbidesEuclideanRing a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods put :: Putter (Operation (AbidesEuclideanRing a)) # get :: Get (Operation (AbidesEuclideanRing a)) #
Serialize a => Serialize (AbidesEuclideanRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods put :: Putter (AbidesEuclideanRing a) # get :: Get (AbidesEuclideanRing a) #
(Num a, Eq a) => SymbioteOperation (AbidesEuclideanRing a) Bool Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types data Operation (AbidesEuclideanRing a) :: Type Source # Methods perform :: Operation (AbidesEuclideanRing a) -> AbidesEuclideanRing a -> Bool Source #
type Rep (Operation (AbidesEuclideanRing a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides type Rep (Operation (AbidesEuclideanRing a)) = D1 (MetaData "Operation" "Test.Serialization.Symbiote.Abides" "symbiote-0.0.5-CizdGLSttkNC7czGnIyxfU" False) (C1 (MetaCons "EuclideanRingCommutativeRing" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Operation (AbidesCommutativeRing a)))) :+: C1 (MetaCons "EuclideanRingIntegralDomain" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AbidesEuclideanRing a))))
type Rep (AbidesEuclideanRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides type Rep (AbidesEuclideanRing a) = D1 (MetaData "AbidesEuclideanRing" "Test.Serialization.Symbiote.Abides" "symbiote-0.0.5-CizdGLSttkNC7czGnIyxfU" True) (C1 (MetaCons "AbidesEuclideanRing" PrefixI True) (S1 (MetaSel (Just "getAbidesEuclideanRing") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))
data Operation (AbidesEuclideanRing a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides data Operation (AbidesEuclideanRing a) = EuclideanRingCommutativeRing (Operation (AbidesCommutativeRing a)) \| EuclideanRingIntegralDomain (AbidesEuclideanRing a)

newtype AbidesField a Source #

Constructors

AbidesField
Fields getAbidesField :: a

Instances

Eq a => Eq (AbidesField a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods (==) :: AbidesField a -> AbidesField a -> Bool # (/=) :: AbidesField a -> AbidesField a -> Bool #
Fractional a => Fractional (AbidesField a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods (/) :: AbidesField a -> AbidesField a -> AbidesField a # recip :: AbidesField a -> AbidesField a # fromRational :: Rational -> AbidesField a #
Num a => Num (AbidesField a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods (+) :: AbidesField a -> AbidesField a -> AbidesField a # (-) :: AbidesField a -> AbidesField a -> AbidesField a # (*) :: AbidesField a -> AbidesField a -> AbidesField a # negate :: AbidesField a -> AbidesField a # abs :: AbidesField a -> AbidesField a # signum :: AbidesField a -> AbidesField a # fromInteger :: Integer -> AbidesField a #
Show a => Show (Operation (AbidesField a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods showsPrec :: Int -> Operation (AbidesField a) -> ShowS # show :: Operation (AbidesField a) -> String # showList :: [Operation (AbidesField a)] -> ShowS #
Show a => Show (AbidesField a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods showsPrec :: Int -> AbidesField a -> ShowS # show :: AbidesField a -> String # showList :: [AbidesField a] -> ShowS #
Generic (Operation (AbidesField a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types type Rep (Operation (AbidesField a)) :: Type -> Type # Methods from :: Operation (AbidesField a) -> Rep (Operation (AbidesField a)) x # to :: Rep (Operation (AbidesField a)) x -> Operation (AbidesField a) #
Generic (AbidesField a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types type Rep (AbidesField a) :: Type -> Type # Methods from :: AbidesField a -> Rep (AbidesField a) x # to :: Rep (AbidesField a) x -> AbidesField a #
Arbitrary a => Arbitrary (Operation (AbidesField a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods arbitrary :: Gen (Operation (AbidesField a)) # shrink :: Operation (AbidesField a) -> [Operation (AbidesField a)] #
Arbitrary a => Arbitrary (AbidesField a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods arbitrary :: Gen (AbidesField a) # shrink :: AbidesField a -> [AbidesField a] #
ToJSON a => ToJSON (Operation (AbidesField a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods toJSON :: Operation (AbidesField a) -> Value # toEncoding :: Operation (AbidesField a) -> Encoding # toJSONList :: [Operation (AbidesField a)] -> Value # toEncodingList :: [Operation (AbidesField a)] -> Encoding #
ToJSON a => ToJSON (AbidesField a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods toJSON :: AbidesField a -> Value # toEncoding :: AbidesField a -> Encoding # toJSONList :: [AbidesField a] -> Value # toEncodingList :: [AbidesField a] -> Encoding #
FromJSON a => FromJSON (Operation (AbidesField a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods parseJSON :: Value -> Parser (Operation (AbidesField a)) # parseJSONList :: Value -> Parser [Operation (AbidesField a)] #
FromJSON a => FromJSON (AbidesField a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods parseJSON :: Value -> Parser (AbidesField a) # parseJSONList :: Value -> Parser [AbidesField a] #
Serialize a => Serialize (Operation (AbidesField a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods put :: Putter (Operation (AbidesField a)) # get :: Get (Operation (AbidesField a)) #
Serialize a => Serialize (AbidesField a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Methods put :: Putter (AbidesField a) # get :: Get (AbidesField a) #
(Fractional a, Eq a) => SymbioteOperation (AbidesField a) Bool Source #
Instance details Defined in Test.Serialization.Symbiote.Abides Associated Types data Operation (AbidesField a) :: Type Source # Methods perform :: Operation (AbidesField a) -> AbidesField a -> Bool Source #
type Rep (Operation (AbidesField a)) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides type Rep (Operation (AbidesField a)) = D1 (MetaData "Operation" "Test.Serialization.Symbiote.Abides" "symbiote-0.0.5-CizdGLSttkNC7czGnIyxfU" False) (C1 (MetaCons "FieldDivisionRing" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Operation (AbidesDivisionRing a)))) :+: C1 (MetaCons "FieldEuclideanRing" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Operation (AbidesEuclideanRing a)))))
type Rep (AbidesField a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides type Rep (AbidesField a) = D1 (MetaData "AbidesField" "Test.Serialization.Symbiote.Abides" "symbiote-0.0.5-CizdGLSttkNC7czGnIyxfU" True) (C1 (MetaCons "AbidesField" PrefixI True) (S1 (MetaSel (Just "getAbidesField") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))
data Operation (AbidesField a) Source #
Instance details Defined in Test.Serialization.Symbiote.Abides data Operation (AbidesField a) = FieldDivisionRing (Operation (AbidesDivisionRing a)) \| FieldEuclideanRing (Operation (AbidesEuclideanRing a))