bytezap-1.6.0: Bytestring builder with zero intermediate allocation
Safe HaskellNone
LanguageGHC2021

Bytezap.Common.Generic

Synopsis

Documentation

data PlusSym (f :: FunKind Natural (Natural ~> Natural)) Source #

Instances

Instances details
type App PlusSym (f :: Natural) Source # 
Instance details

Defined in Bytezap.Common.Generic

type App PlusSym (f :: Natural) = PlusSym1 f

data PlusSym1 (l :: Natural) (r :: FunKind Natural Natural) Source #

Instances

Instances details
type App (PlusSym1 l :: FunKind Natural Natural -> Type) (r :: Natural) Source # 
Instance details

Defined in Bytezap.Common.Generic

type App (PlusSym1 l :: FunKind Natural Natural -> Type) (r :: Natural) = l + r

type GTFoldMapCAddition (f :: Type ~> Natural) (gf :: k -> Type) = GTFoldMapC PlusSym 0 f gf Source #

Generic type foldMap using the addition monoid.