bytezap-1.3.1: Bytestring builder with zero intermediate allocation
Safe HaskellSafe-Inferred
LanguageGHC2021

Bytezap.Common.Generic

Synopsis

Documentation

data PlusSym f 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 r 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 gf = GTFoldMapC PlusSym 0 f gf Source #

Generic type foldMap using the addition monoid.