ZkFold.Base.Data.Orphans

Orphan instances

NFData1 Par1

Methods

liftRnf :: (a -> ()) -> Par1 a -> ()

Binary (Rep f) => Binary (WrappedRep f)

Methods

put :: WrappedRep f -> Put

get :: Get (WrappedRep f)

putList :: [WrappedRep f] -> Put

NFData (Rep f) => NFData (WrappedRep f)

Methods

rnf :: WrappedRep f -> ()

NFData1 (U1 :: Type -> Type)

Methods

liftRnf :: (a -> ()) -> U1 a -> ()

Eq (Rep f) => Eq (WrappedRep f)

Methods

(==) :: WrappedRep f -> WrappedRep f -> Bool

(/=) :: WrappedRep f -> WrappedRep f -> Bool

Ord (Rep f) => Ord (WrappedRep f)

Methods

compare :: WrappedRep f -> WrappedRep f -> Ordering

(<) :: WrappedRep f -> WrappedRep f -> Bool

(<=) :: WrappedRep f -> WrappedRep f -> Bool

(>) :: WrappedRep f -> WrappedRep f -> Bool

(>=) :: WrappedRep f -> WrappedRep f -> Bool

max :: WrappedRep f -> WrappedRep f -> WrappedRep f

min :: WrappedRep f -> WrappedRep f -> WrappedRep f

(NFData1 f, NFData1 g) => NFData1 (f :*: g)

Methods

liftRnf :: (a -> ()) -> (f :*: g) a -> ()

(Functor f, NFData1 f, NFData1 g) => NFData1 (f :.: g)

Methods

liftRnf :: (a -> ()) -> (f :.: g) a -> ()