Test.Serialization.Symbiote.Abides

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

Constructors

AbidesSemigroup

Fields

• getAbidesSemigroup :: a

Instances

Eq a => Eq (AbidesSemigroup a)

Defined in Test.Serialization.Symbiote.Abides

Methods

(==) :: AbidesSemigroup a -> AbidesSemigroup a -> Bool

(/=) :: AbidesSemigroup a -> AbidesSemigroup a -> Bool

Show a => Show (Operation (AbidesSemigroup a))

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)

Defined in Test.Serialization.Symbiote.Abides

Methods

showsPrec :: Int -> AbidesSemigroup a -> ShowS

show :: AbidesSemigroup a -> String

showList :: [AbidesSemigroup a] -> ShowS

Generic (Operation (AbidesSemigroup a))

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)

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)

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))

Defined in Test.Serialization.Symbiote.Abides

Methods

arbitrary :: Gen (Operation (AbidesSemigroup a))

shrink :: Operation (AbidesSemigroup a) -> [Operation (AbidesSemigroup a)]

Arbitrary a => Arbitrary (AbidesSemigroup a)

Defined in Test.Serialization.Symbiote.Abides

Methods

arbitrary :: Gen (AbidesSemigroup a)

shrink :: AbidesSemigroup a -> [AbidesSemigroup a]

ToJSON a => ToJSON (Operation (AbidesSemigroup a))

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)

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))

Defined in Test.Serialization.Symbiote.Abides

Methods

parseJSON :: Value -> Parser (Operation (AbidesSemigroup a))

parseJSONList :: Value -> Parser [Operation (AbidesSemigroup a)]

FromJSON a => FromJSON (AbidesSemigroup a)

Defined in Test.Serialization.Symbiote.Abides

Methods

parseJSON :: Value -> Parser (AbidesSemigroup a)

parseJSONList :: Value -> Parser [AbidesSemigroup a]

Serialize a => Serialize (Operation (AbidesSemigroup a))

Defined in Test.Serialization.Symbiote.Abides

Methods

put :: Putter (Operation (AbidesSemigroup a))

get :: Get (Operation (AbidesSemigroup a))

Serialize a => Serialize (AbidesSemigroup a)

Defined in Test.Serialization.Symbiote.Abides

Methods

put :: Putter (AbidesSemigroup a)

get :: Get (AbidesSemigroup a)

(Semigroup a, Eq a) => SymbioteOperation (AbidesSemigroup a) Bool

Defined in Test.Serialization.Symbiote.Abides

Associated Types

data Operation (AbidesSemigroup a) :: Type

Methods

perform :: Operation (AbidesSemigroup a) -> AbidesSemigroup a -> Bool

type Rep (Operation (AbidesSemigroup a))

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)

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)

Defined in Test.Serialization.Symbiote.Abides

data Operation (AbidesSemigroup a) = SemigroupAssociative (AbidesSemigroup a) (AbidesSemigroup a)

newtype AbidesMonoid a

Constructors

AbidesMonoid

Fields

• getAbidesMonoid :: a

Instances

Eq a => Eq (AbidesMonoid a)

Defined in Test.Serialization.Symbiote.Abides

Methods

(==) :: AbidesMonoid a -> AbidesMonoid a -> Bool

(/=) :: AbidesMonoid a -> AbidesMonoid a -> Bool

Show a => Show (Operation (AbidesMonoid a))

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)

Defined in Test.Serialization.Symbiote.Abides

Methods

showsPrec :: Int -> AbidesMonoid a -> ShowS

show :: AbidesMonoid a -> String

showList :: [AbidesMonoid a] -> ShowS

Generic (Operation (AbidesMonoid a))

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)

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)

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)

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))

Defined in Test.Serialization.Symbiote.Abides

Methods

arbitrary :: Gen (Operation (AbidesMonoid a))

shrink :: Operation (AbidesMonoid a) -> [Operation (AbidesMonoid a)]

Arbitrary a => Arbitrary (AbidesMonoid a)

Defined in Test.Serialization.Symbiote.Abides

Methods

arbitrary :: Gen (AbidesMonoid a)

shrink :: AbidesMonoid a -> [AbidesMonoid a]

ToJSON a => ToJSON (Operation (AbidesMonoid a))

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)

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))

Defined in Test.Serialization.Symbiote.Abides

Methods

parseJSON :: Value -> Parser (Operation (AbidesMonoid a))

parseJSONList :: Value -> Parser [Operation (AbidesMonoid a)]

FromJSON a => FromJSON (AbidesMonoid a)

Defined in Test.Serialization.Symbiote.Abides

Methods

parseJSON :: Value -> Parser (AbidesMonoid a)

parseJSONList :: Value -> Parser [AbidesMonoid a]

Serialize a => Serialize (Operation (AbidesMonoid a))

Defined in Test.Serialization.Symbiote.Abides

Methods

put :: Putter (Operation (AbidesMonoid a))

get :: Get (Operation (AbidesMonoid a))

Serialize a => Serialize (AbidesMonoid a)

Defined in Test.Serialization.Symbiote.Abides

Methods

put :: Putter (AbidesMonoid a)

get :: Get (AbidesMonoid a)

(Monoid a, Eq a) => SymbioteOperation (AbidesMonoid a) Bool

Defined in Test.Serialization.Symbiote.Abides

Associated Types

data Operation (AbidesMonoid a) :: Type

Methods

perform :: Operation (AbidesMonoid a) -> AbidesMonoid a -> Bool

type Rep (Operation (AbidesMonoid a))

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)

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)

Defined in Test.Serialization.Symbiote.Abides

data Operation (AbidesMonoid a)

• = MonoidSemigroup (Operation (AbidesSemigroup a))
• | MonoidLeftIdentity
• | MonoidRightIdentity

newtype AbidesEq a

Constructors

AbidesEq

Fields

• getAbidesEq :: a

Instances

Eq a => Eq (AbidesEq a)

Defined in Test.Serialization.Symbiote.Abides

Methods

(==) :: AbidesEq a -> AbidesEq a -> Bool

(/=) :: AbidesEq a -> AbidesEq a -> Bool

Show a => Show (Operation (AbidesEq a))

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)

Defined in Test.Serialization.Symbiote.Abides

Methods

showsPrec :: Int -> AbidesEq a -> ShowS

show :: AbidesEq a -> String

showList :: [AbidesEq a] -> ShowS

Generic (Operation (AbidesEq a))

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)

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))

Defined in Test.Serialization.Symbiote.Abides

Methods

arbitrary :: Gen (Operation (AbidesEq a))

shrink :: Operation (AbidesEq a) -> [Operation (AbidesEq a)]

Arbitrary a => Arbitrary (AbidesEq a)

Defined in Test.Serialization.Symbiote.Abides

Methods

arbitrary :: Gen (AbidesEq a)

shrink :: AbidesEq a -> [AbidesEq a]

ToJSON a => ToJSON (Operation (AbidesEq a))

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)

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))

Defined in Test.Serialization.Symbiote.Abides

Methods

parseJSON :: Value -> Parser (Operation (AbidesEq a))

parseJSONList :: Value -> Parser [Operation (AbidesEq a)]

FromJSON a => FromJSON (AbidesEq a)

Defined in Test.Serialization.Symbiote.Abides

Methods

parseJSON :: Value -> Parser (AbidesEq a)

parseJSONList :: Value -> Parser [AbidesEq a]

Serialize a => Serialize (Operation (AbidesEq a))

Defined in Test.Serialization.Symbiote.Abides

Methods

put :: Putter (Operation (AbidesEq a))

get :: Get (Operation (AbidesEq a))

Serialize a => Serialize (AbidesEq a)

Defined in Test.Serialization.Symbiote.Abides

Methods

put :: Putter (AbidesEq a)

get :: Get (AbidesEq a)

Eq a => SymbioteOperation (AbidesEq a) Bool

Defined in Test.Serialization.Symbiote.Abides

Associated Types

data Operation (AbidesEq a) :: Type

Methods

perform :: Operation (AbidesEq a) -> AbidesEq a -> Bool

type Rep (Operation (AbidesEq a))

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)

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)

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

Constructors

AbidesOrd

Fields

• getAbidesOrd :: a

Instances

Eq a => Eq (AbidesOrd a)

Defined in Test.Serialization.Symbiote.Abides

Methods

(==) :: AbidesOrd a -> AbidesOrd a -> Bool

(/=) :: AbidesOrd a -> AbidesOrd a -> Bool

Ord a => Ord (AbidesOrd a)

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))

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)

Defined in Test.Serialization.Symbiote.Abides

Methods

showsPrec :: Int -> AbidesOrd a -> ShowS

show :: AbidesOrd a -> String

showList :: [AbidesOrd a] -> ShowS

Generic (Operation (AbidesOrd a))

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)

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))

Defined in Test.Serialization.Symbiote.Abides

Methods

arbitrary :: Gen (Operation (AbidesOrd a))

shrink :: Operation (AbidesOrd a) -> [Operation (AbidesOrd a)]

Arbitrary a => Arbitrary (AbidesOrd a)

Defined in Test.Serialization.Symbiote.Abides

Methods

arbitrary :: Gen (AbidesOrd a)

shrink :: AbidesOrd a -> [AbidesOrd a]

ToJSON a => ToJSON (Operation (AbidesOrd a))

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)

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))

Defined in Test.Serialization.Symbiote.Abides

Methods

parseJSON :: Value -> Parser (Operation (AbidesOrd a))

parseJSONList :: Value -> Parser [Operation (AbidesOrd a)]

FromJSON a => FromJSON (AbidesOrd a)

Defined in Test.Serialization.Symbiote.Abides

Methods

parseJSON :: Value -> Parser (AbidesOrd a)

parseJSONList :: Value -> Parser [AbidesOrd a]

Serialize a => Serialize (Operation (AbidesOrd a))

Defined in Test.Serialization.Symbiote.Abides

Methods

put :: Putter (Operation (AbidesOrd a))

get :: Get (Operation (AbidesOrd a))

Serialize a => Serialize (AbidesOrd a)

Defined in Test.Serialization.Symbiote.Abides

Methods

put :: Putter (AbidesOrd a)

get :: Get (AbidesOrd a)

Ord a => SymbioteOperation (AbidesOrd a) Bool

Defined in Test.Serialization.Symbiote.Abides

Associated Types

data Operation (AbidesOrd a) :: Type

Methods

perform :: Operation (AbidesOrd a) -> AbidesOrd a -> Bool

type Rep (Operation (AbidesOrd a))

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)

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)

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

Constructors

AbidesEnum

Fields

• getAbidesEnum :: a

Instances

Enum a => Enum (AbidesEnum a)

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)

Defined in Test.Serialization.Symbiote.Abides

Methods

(==) :: AbidesEnum a -> AbidesEnum a -> Bool

(/=) :: AbidesEnum a -> AbidesEnum a -> Bool

Ord a => Ord (AbidesEnum a)

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))

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)

Defined in Test.Serialization.Symbiote.Abides

Methods

showsPrec :: Int -> AbidesEnum a -> ShowS

show :: AbidesEnum a -> String

showList :: [AbidesEnum a] -> ShowS

Generic (Operation (AbidesEnum a))

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)

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))

Defined in Test.Serialization.Symbiote.Abides

Methods

arbitrary :: Gen (Operation (AbidesEnum a))

shrink :: Operation (AbidesEnum a) -> [Operation (AbidesEnum a)]

Arbitrary a => Arbitrary (AbidesEnum a)

Defined in Test.Serialization.Symbiote.Abides

Methods

arbitrary :: Gen (AbidesEnum a)

shrink :: AbidesEnum a -> [AbidesEnum a]

ToJSON a => ToJSON (Operation (AbidesEnum a))

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)

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))

Defined in Test.Serialization.Symbiote.Abides

Methods

parseJSON :: Value -> Parser (Operation (AbidesEnum a))

parseJSONList :: Value -> Parser [Operation (AbidesEnum a)]

FromJSON a => FromJSON (AbidesEnum a)

Defined in Test.Serialization.Symbiote.Abides

Methods

parseJSON :: Value -> Parser (AbidesEnum a)

parseJSONList :: Value -> Parser [AbidesEnum a]

Serialize a => Serialize (Operation (AbidesEnum a))

Defined in Test.Serialization.Symbiote.Abides

Methods

put :: Putter (Operation (AbidesEnum a))

get :: Get (Operation (AbidesEnum a))

Serialize a => Serialize (AbidesEnum a)

Defined in Test.Serialization.Symbiote.Abides

Methods

put :: Putter (AbidesEnum a)

get :: Get (AbidesEnum a)

(Enum a, Ord a) => SymbioteOperation (AbidesEnum a) Bool

Defined in Test.Serialization.Symbiote.Abides

Associated Types

data Operation (AbidesEnum a) :: Type

Methods

perform :: Operation (AbidesEnum a) -> AbidesEnum a -> Bool

type Rep (Operation (AbidesEnum a))

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)

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)

Defined in Test.Serialization.Symbiote.Abides

data Operation (AbidesEnum a)

• = EnumOrd (Operation (AbidesOrd a))
• | EnumCompareHom (AbidesEnum a)
• | EnumPredSucc
• | EnumSuccPred

newtype AbidesSemiring a

Constructors

AbidesSemiring

Fields

• getAbidesSemiring :: a

Instances

Eq a => Eq (AbidesSemiring a)

Defined in Test.Serialization.Symbiote.Abides

Methods

(==) :: AbidesSemiring a -> AbidesSemiring a -> Bool

(/=) :: AbidesSemiring a -> AbidesSemiring a -> Bool

Num a => Num (AbidesSemiring a)

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))

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)

Defined in Test.Serialization.Symbiote.Abides

Methods

showsPrec :: Int -> AbidesSemiring a -> ShowS

show :: AbidesSemiring a -> String

showList :: [AbidesSemiring a] -> ShowS

Generic (Operation (AbidesSemiring a))

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)

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))

Defined in Test.Serialization.Symbiote.Abides

Methods

arbitrary :: Gen (Operation (AbidesSemiring a))

shrink :: Operation (AbidesSemiring a) -> [Operation (AbidesSemiring a)]

Arbitrary a => Arbitrary (AbidesSemiring a)

Defined in Test.Serialization.Symbiote.Abides

Methods

arbitrary :: Gen (AbidesSemiring a)

shrink :: AbidesSemiring a -> [AbidesSemiring a]

ToJSON a => ToJSON (Operation (AbidesSemiring a))

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)

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))

Defined in Test.Serialization.Symbiote.Abides

Methods

parseJSON :: Value -> Parser (Operation (AbidesSemiring a))

parseJSONList :: Value -> Parser [Operation (AbidesSemiring a)]

FromJSON a => FromJSON (AbidesSemiring a)

Defined in Test.Serialization.Symbiote.Abides

Methods

parseJSON :: Value -> Parser (AbidesSemiring a)

parseJSONList :: Value -> Parser [AbidesSemiring a]

Serialize a => Serialize (Operation (AbidesSemiring a))

Defined in Test.Serialization.Symbiote.Abides

Methods

put :: Putter (Operation (AbidesSemiring a))

get :: Get (Operation (AbidesSemiring a))

Serialize a => Serialize (AbidesSemiring a)

Defined in Test.Serialization.Symbiote.Abides

Methods

put :: Putter (AbidesSemiring a)

get :: Get (AbidesSemiring a)

(Num a, Eq a) => SymbioteOperation (AbidesSemiring a) Bool

Defined in Test.Serialization.Symbiote.Abides

Associated Types

data Operation (AbidesSemiring a) :: Type

Methods

perform :: Operation (AbidesSemiring a) -> AbidesSemiring a -> Bool

type Rep (Operation (AbidesSemiring a))

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)

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)

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

Constructors

AbidesRing

Fields

• getAbidesRing :: a

Instances

Eq a => Eq (AbidesRing a)

Defined in Test.Serialization.Symbiote.Abides

Methods

(==) :: AbidesRing a -> AbidesRing a -> Bool

(/=) :: AbidesRing a -> AbidesRing a -> Bool

Num a => Num (AbidesRing a)

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))

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)

Defined in Test.Serialization.Symbiote.Abides

Methods

showsPrec :: Int -> AbidesRing a -> ShowS

show :: AbidesRing a -> String

showList :: [AbidesRing a] -> ShowS

Generic (Operation (AbidesRing a))

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)

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))

Defined in Test.Serialization.Symbiote.Abides

Methods

arbitrary :: Gen (Operation (AbidesRing a))

shrink :: Operation (AbidesRing a) -> [Operation (AbidesRing a)]

Arbitrary a => Arbitrary (AbidesRing a)

Defined in Test.Serialization.Symbiote.Abides

Methods

arbitrary :: Gen (AbidesRing a)

shrink :: AbidesRing a -> [AbidesRing a]

ToJSON a => ToJSON (Operation (AbidesRing a))

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)

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))

Defined in Test.Serialization.Symbiote.Abides

Methods

parseJSON :: Value -> Parser (Operation (AbidesRing a))

parseJSONList :: Value -> Parser [Operation (AbidesRing a)]

FromJSON a => FromJSON (AbidesRing a)

Defined in Test.Serialization.Symbiote.Abides

Methods

parseJSON :: Value -> Parser (AbidesRing a)

parseJSONList :: Value -> Parser [AbidesRing a]

Serialize a => Serialize (Operation (AbidesRing a))

Defined in Test.Serialization.Symbiote.Abides

Methods

put :: Putter (Operation (AbidesRing a))

get :: Get (Operation (AbidesRing a))

Serialize a => Serialize (AbidesRing a)

Defined in Test.Serialization.Symbiote.Abides

Methods

put :: Putter (AbidesRing a)

get :: Get (AbidesRing a)

(Num a, Eq a) => SymbioteOperation (AbidesRing a) Bool

Defined in Test.Serialization.Symbiote.Abides

Associated Types

data Operation (AbidesRing a) :: Type

Methods

perform :: Operation (AbidesRing a) -> AbidesRing a -> Bool

type Rep (Operation (AbidesRing a))

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)

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)

Defined in Test.Serialization.Symbiote.Abides

data Operation (AbidesRing a)

• = RingSemiring (Operation (AbidesSemiring a))
• | RingAdditiveInverse

newtype AbidesCommutativeRing a

Constructors

AbidesCommutativeRing

Fields

• getAbidesCommutativeRing :: a

Instances

Eq a => Eq (AbidesCommutativeRing a)

Defined in Test.Serialization.Symbiote.Abides

Methods

(==) :: AbidesCommutativeRing a -> AbidesCommutativeRing a -> Bool

(/=) :: AbidesCommutativeRing a -> AbidesCommutativeRing a -> Bool

Num a => Num (AbidesCommutativeRing a)

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))

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)

Defined in Test.Serialization.Symbiote.Abides

Methods

showsPrec :: Int -> AbidesCommutativeRing a -> ShowS

show :: AbidesCommutativeRing a -> String

showList :: [AbidesCommutativeRing a] -> ShowS

Generic (Operation (AbidesCommutativeRing a))

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)

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))

Defined in Test.Serialization.Symbiote.Abides

Methods

arbitrary :: Gen (Operation (AbidesCommutativeRing a))

shrink :: Operation (AbidesCommutativeRing a) -> [Operation (AbidesCommutativeRing a)]

Arbitrary a => Arbitrary (AbidesCommutativeRing a)

Defined in Test.Serialization.Symbiote.Abides

Methods

arbitrary :: Gen (AbidesCommutativeRing a)

shrink :: AbidesCommutativeRing a -> [AbidesCommutativeRing a]

ToJSON a => ToJSON (Operation (AbidesCommutativeRing a))

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)

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))

Defined in Test.Serialization.Symbiote.Abides

Methods

parseJSON :: Value -> Parser (Operation (AbidesCommutativeRing a))

parseJSONList :: Value -> Parser [Operation (AbidesCommutativeRing a)]

FromJSON a => FromJSON (AbidesCommutativeRing a)

Defined in Test.Serialization.Symbiote.Abides

Methods

parseJSON :: Value -> Parser (AbidesCommutativeRing a)

parseJSONList :: Value -> Parser [AbidesCommutativeRing a]

Serialize a => Serialize (Operation (AbidesCommutativeRing a))

Defined in Test.Serialization.Symbiote.Abides

Methods

put :: Putter (Operation (AbidesCommutativeRing a))

get :: Get (Operation (AbidesCommutativeRing a))

Serialize a => Serialize (AbidesCommutativeRing a)

Defined in Test.Serialization.Symbiote.Abides

Methods

put :: Putter (AbidesCommutativeRing a)

get :: Get (AbidesCommutativeRing a)

(Num a, Eq a) => SymbioteOperation (AbidesCommutativeRing a) Bool

Defined in Test.Serialization.Symbiote.Abides

Associated Types

data Operation (AbidesCommutativeRing a) :: Type

Methods

perform :: Operation (AbidesCommutativeRing a) -> AbidesCommutativeRing a -> Bool

type Rep (Operation (AbidesCommutativeRing a))

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)

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)

Defined in Test.Serialization.Symbiote.Abides

data Operation (AbidesCommutativeRing a)

• = CommutativeRingRing (Operation (AbidesRing a))
• | CommutativeRingCommutative (AbidesCommutativeRing a)

newtype AbidesDivisionRing a

Constructors

AbidesDivisionRing

Fields

• getAbidesDivisionRing :: a

Instances

Eq a => Eq (AbidesDivisionRing a)

Defined in Test.Serialization.Symbiote.Abides

Methods

(==) :: AbidesDivisionRing a -> AbidesDivisionRing a -> Bool

(/=) :: AbidesDivisionRing a -> AbidesDivisionRing a -> Bool

Fractional a => Fractional (AbidesDivisionRing a)

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)

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))

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)

Defined in Test.Serialization.Symbiote.Abides

Methods

showsPrec :: Int -> AbidesDivisionRing a -> ShowS

show :: AbidesDivisionRing a -> String

showList :: [AbidesDivisionRing a] -> ShowS

Generic (Operation (AbidesDivisionRing a))

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)

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))

Defined in Test.Serialization.Symbiote.Abides

Methods

arbitrary :: Gen (Operation (AbidesDivisionRing a))

shrink :: Operation (AbidesDivisionRing a) -> [Operation (AbidesDivisionRing a)]

Arbitrary a => Arbitrary (AbidesDivisionRing a)

Defined in Test.Serialization.Symbiote.Abides

Methods

arbitrary :: Gen (AbidesDivisionRing a)

shrink :: AbidesDivisionRing a -> [AbidesDivisionRing a]

ToJSON a => ToJSON (Operation (AbidesDivisionRing a))

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)

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))

Defined in Test.Serialization.Symbiote.Abides

Methods

parseJSON :: Value -> Parser (Operation (AbidesDivisionRing a))

parseJSONList :: Value -> Parser [Operation (AbidesDivisionRing a)]

FromJSON a => FromJSON (AbidesDivisionRing a)

Defined in Test.Serialization.Symbiote.Abides

Methods

parseJSON :: Value -> Parser (AbidesDivisionRing a)

parseJSONList :: Value -> Parser [AbidesDivisionRing a]

Serialize a => Serialize (Operation (AbidesDivisionRing a))

Defined in Test.Serialization.Symbiote.Abides

Methods

put :: Putter (Operation (AbidesDivisionRing a))

get :: Get (Operation (AbidesDivisionRing a))

Serialize a => Serialize (AbidesDivisionRing a)

Defined in Test.Serialization.Symbiote.Abides

Methods

put :: Putter (AbidesDivisionRing a)

get :: Get (AbidesDivisionRing a)

(Fractional a, Eq a) => SymbioteOperation (AbidesDivisionRing a) Bool

Defined in Test.Serialization.Symbiote.Abides

Associated Types

data Operation (AbidesDivisionRing a) :: Type

Methods

perform :: Operation (AbidesDivisionRing a) -> AbidesDivisionRing a -> Bool

type Rep (Operation (AbidesDivisionRing a))

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)

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)

Defined in Test.Serialization.Symbiote.Abides

data Operation (AbidesDivisionRing a)

• = DivisionRingRing (Operation (AbidesRing a))
• | DivisionRingInverse

newtype AbidesEuclideanRing a

Constructors

AbidesEuclideanRing

Fields

• getAbidesEuclideanRing :: a

Instances

Eq a => Eq (AbidesEuclideanRing a)

Defined in Test.Serialization.Symbiote.Abides

Methods

(==) :: AbidesEuclideanRing a -> AbidesEuclideanRing a -> Bool

(/=) :: AbidesEuclideanRing a -> AbidesEuclideanRing a -> Bool

Num a => Num (AbidesEuclideanRing a)

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))

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)

Defined in Test.Serialization.Symbiote.Abides

Methods

showsPrec :: Int -> AbidesEuclideanRing a -> ShowS

show :: AbidesEuclideanRing a -> String

showList :: [AbidesEuclideanRing a] -> ShowS

Generic (Operation (AbidesEuclideanRing a))

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)

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))

Defined in Test.Serialization.Symbiote.Abides

Methods

arbitrary :: Gen (Operation (AbidesEuclideanRing a))

shrink :: Operation (AbidesEuclideanRing a) -> [Operation (AbidesEuclideanRing a)]

Arbitrary a => Arbitrary (AbidesEuclideanRing a)

Defined in Test.Serialization.Symbiote.Abides

Methods

arbitrary :: Gen (AbidesEuclideanRing a)

shrink :: AbidesEuclideanRing a -> [AbidesEuclideanRing a]

ToJSON a => ToJSON (Operation (AbidesEuclideanRing a))

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)

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))

Defined in Test.Serialization.Symbiote.Abides

Methods

parseJSON :: Value -> Parser (Operation (AbidesEuclideanRing a))

parseJSONList :: Value -> Parser [Operation (AbidesEuclideanRing a)]

FromJSON a => FromJSON (AbidesEuclideanRing a)

Defined in Test.Serialization.Symbiote.Abides

Methods

parseJSON :: Value -> Parser (AbidesEuclideanRing a)

parseJSONList :: Value -> Parser [AbidesEuclideanRing a]

Serialize a => Serialize (Operation (AbidesEuclideanRing a))

Defined in Test.Serialization.Symbiote.Abides

Methods

put :: Putter (Operation (AbidesEuclideanRing a))

get :: Get (Operation (AbidesEuclideanRing a))

Serialize a => Serialize (AbidesEuclideanRing a)

Defined in Test.Serialization.Symbiote.Abides

Methods

put :: Putter (AbidesEuclideanRing a)

get :: Get (AbidesEuclideanRing a)

(Num a, Eq a) => SymbioteOperation (AbidesEuclideanRing a) Bool

Defined in Test.Serialization.Symbiote.Abides

Associated Types

data Operation (AbidesEuclideanRing a) :: Type

Methods

perform :: Operation (AbidesEuclideanRing a) -> AbidesEuclideanRing a -> Bool

type Rep (Operation (AbidesEuclideanRing a))

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)

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)

Defined in Test.Serialization.Symbiote.Abides

data Operation (AbidesEuclideanRing a)

• = EuclideanRingCommutativeRing (Operation (AbidesCommutativeRing a))
• | EuclideanRingIntegralDomain (AbidesEuclideanRing a)

newtype AbidesField a

Constructors

AbidesField

Fields

• getAbidesField :: a

Instances

Eq a => Eq (AbidesField a)

Defined in Test.Serialization.Symbiote.Abides

Methods

(==) :: AbidesField a -> AbidesField a -> Bool

(/=) :: AbidesField a -> AbidesField a -> Bool

Fractional a => Fractional (AbidesField a)

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)

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))

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)

Defined in Test.Serialization.Symbiote.Abides

Methods

showsPrec :: Int -> AbidesField a -> ShowS

show :: AbidesField a -> String

showList :: [AbidesField a] -> ShowS

Generic (Operation (AbidesField a))

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)

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))

Defined in Test.Serialization.Symbiote.Abides

Methods

arbitrary :: Gen (Operation (AbidesField a))

shrink :: Operation (AbidesField a) -> [Operation (AbidesField a)]

Arbitrary a => Arbitrary (AbidesField a)

Defined in Test.Serialization.Symbiote.Abides

Methods

arbitrary :: Gen (AbidesField a)

shrink :: AbidesField a -> [AbidesField a]

ToJSON a => ToJSON (Operation (AbidesField a))

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)

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))

Defined in Test.Serialization.Symbiote.Abides

Methods

parseJSON :: Value -> Parser (Operation (AbidesField a))

parseJSONList :: Value -> Parser [Operation (AbidesField a)]

FromJSON a => FromJSON (AbidesField a)

Defined in Test.Serialization.Symbiote.Abides

Methods

parseJSON :: Value -> Parser (AbidesField a)

parseJSONList :: Value -> Parser [AbidesField a]

Serialize a => Serialize (Operation (AbidesField a))

Defined in Test.Serialization.Symbiote.Abides

Methods

put :: Putter (Operation (AbidesField a))

get :: Get (Operation (AbidesField a))

Serialize a => Serialize (AbidesField a)

Defined in Test.Serialization.Symbiote.Abides

Methods

put :: Putter (AbidesField a)

get :: Get (AbidesField a)

(Fractional a, Eq a) => SymbioteOperation (AbidesField a) Bool

Defined in Test.Serialization.Symbiote.Abides

Associated Types

data Operation (AbidesField a) :: Type

Methods

perform :: Operation (AbidesField a) -> AbidesField a -> Bool

type Rep (Operation (AbidesField a))

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)

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)

Defined in Test.Serialization.Symbiote.Abides

data Operation (AbidesField a)

• = FieldDivisionRing (Operation (AbidesDivisionRing a))
• | FieldEuclideanRing (Operation (AbidesEuclideanRing a))