Data.Binary.Tagged

# Data

data BinaryTagged v a

type BinaryTagged' a

binaryTag

binaryTag'

binaryUntag

binaryUntag'

data StructuralInfo

# Serialisation

taggedEncode

taggedDecode

taggedDecodeOrFail

# IO functions for serialisation

taggedEncodeFile

taggedDecodeFile

taggedDecodeFileOrFail

# Class

class HasStructuralInfo a

class HasSemanticVersion a

type Version

## Type level calculations

type Interleave n m

type SumUpTo n

type family Div2 (n :: Nat) :: Nat where ...

# Generic derivation

## GHC

ghcStructuralInfo

ghcNominalType

ghcStructuralInfo1

## SOP

sopStructuralInfo

sopNominalType

sopStructuralInfo1

## SOP direct

sopStructuralInfoS

sopNominalTypeS

sopStructuralInfo1S

# Hash

structuralInfoSha1Digest

structuralInfoSha1ByteStringDigest