scalus.flat

package scalus.flat

Members list

Type members

Classlikes

class ArrayByteFlat extends Flat[Array[Byte]]

Prealigned Arrays of bytes PreAligned a ≡ PreAligned {preFiller :: Filler, preValue :: a}

Prealigned Arrays of bytes PreAligned a ≡ PreAligned {preFiller :: Filler, preValue :: a}

Filler ≡ FillerBit Filler | FillerEnd

Array v = A0 | A1 v (Array v) | A2 v v (Array v) ... | A255 ... (Array v)

Attributes

Supertypes
trait Flat[Array[Byte]]
class Object
trait Matchable
class Any
class DecoderState(val buffer: Uint8Array)

Attributes

Supertypes
class Object
trait Matchable
class Any
class EncoderState(bufferSize: Int)

Attributes

Supertypes
class Object
trait Matchable
class Any
trait Flat[A]

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object given_Flat_Binding.type
object given_Flat_Case.type
object given_Flat_ConstrDecl.type
object given_Flat_Data.type
object given_Flat_DataDecl.type
object given_Flat_Module.type
object given_Flat_SIR.type
object given_Flat_BigInt.type
object given_Flat_Boolean.type
object given_Flat_Long.type
object given_Flat_Natural.type
object given_Flat_String.type
object given_Flat_Unit.type
object given_Flat_ByteString.type
object given_Flat_DefaultFun.type
object given_Flat_Data.type
object given_Flat_Term.type
Show all

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
case class Natural(n: BigInt)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object given_Flat_BigInt extends Flat[BigInt]

Attributes

Supertypes
trait Flat[BigInt]
class Object
trait Matchable
class Any
Self type
object given_Flat_Boolean extends Flat[Boolean]

Attributes

Supertypes
trait Flat[Boolean]
class Object
trait Matchable
class Any
Self type
object given_Flat_Long extends Flat[Long]

Attributes

Supertypes
trait Flat[Long]
class Object
trait Matchable
class Any
Self type
object given_Flat_Natural extends Flat[Natural]

Attributes

Supertypes
trait Flat[Natural]
class Object
trait Matchable
class Any
Self type
object given_Flat_String extends Flat[String]

Attributes

Supertypes
trait Flat[String]
class Object
trait Matchable
class Any
Self type
object given_Flat_Unit extends Flat[Unit]

Attributes

Supertypes
trait Flat[Unit]
class Object
trait Matchable
class Any
Self type

Types

type Uint8Array = Array[Byte]

Value members

Concrete methods

def byteAsBitString(b: Byte): String
def decode[A : Flat](dec: DecoderState): A
def encode[A : Flat](a: A, enc: EncoderState): Unit
def w7l(n: Long): List[Byte]
def w7l(n: BigInt): List[Byte]
def zagZig(u: Long): Long
def zagZig(u: BigInt): BigInt
def zigZag(x: Long): Long
def zigZag(x: BigInt): BigInt

Givens

Givens

given given_Flat_Array: Flat[Array[Byte]]
given listFlat[A : Flat]: listFlat[A]
given pairFlat[A : Flat, B : Flat]: pairFlat[A, B]