Data.Yoko.TypeBasics

Some type-level programming basics.

Documentation

data Proxy a

A polykinded proxy.

Constructors

Proxy

type Equal a b = IsEQ (SpineCompare a b)

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

derive_data :: 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.

derive_pro :: Name -> Q [Dec]

Re-exports

Type-level Maybe

type family IsJust x :: Bool

Returns a type-level boolean from type-booleans.

type family MaybePlus1 x y :: Maybe k

Type-level mplus for Maybe.

type family MaybeMap f x :: Maybe l

Type-level fmap for Maybe.

type family If c a b :: k

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.