bind-marshal-0.1: Data marshaling library that uses type level equations to optimize buffering.

Bind.Marshal.TypePrelude

Documentation

data Nil Source

Instances

ReifiesTo Nil Length

data Cons t ts Source

Instances

ReifiesTo tSeq Length => ReifiesTo (Cons t tSeq) Length

type family Concat s0 s1 Source

type family Head s Source

type family Tail s Source

type family ReverseList i Source

class ReifiesTo t r whereSource

Methods

reify :: t -> rSource

Instances

ReifiesTo t t
ReifiesTo Nil Length
ReifiesTo tSeq Length => ReifiesTo (Cons t tSeq) Length

module Data.TypeLevel.Bool

module Data.TypeLevel.Num.Aliases

module Data.TypeLevel.Num.Ops

module Data.TypeLevel.Num.Reps

module Data.TypeLevel.Num.Sets