Data.Yoko.TypeBasics

Some type-level programming basics.

Documentation

data Proxy a

A polykinded proxy.

Constructors

Proxy

type Equal a b = IsEQ (Compare a b)

Convenient synonym. type Equal a b = IsEQ (Compare a b)

derive :: Name -> Q [Dec]

Template Haskell derivation for the type-spine and type-cereal packages' Spine and Serialize type families, which support generic instances of Compare.

Re-exports

Type-level Maybe

data Nothing

data Just x

type family IsJust x :: *

Returns a type-level boolean from type-booleans.

type family MaybePlus1 x y :: *

Type-level mplus for Maybe.

type family MaybeMap f x :: *

Type-level fmap for Maybe.

module Type.Booleans

encode :: Serialize a => a -> Type

Encode uses the cereal package serializer to encode the value and then uses type-digits to reflect it as a type-level numeral.