yoko-0.3.1: Generic Programming with Disbanded Data Types

Safe HaskellSafe-Infered

Data.Yoko.TypeBasics

Synopsis

Documentation

data Nothing Source

data Just x Source

type family IsJust x :: *Source

type family MaybePlus1 x y :: *Source

type family MaybeMap f x :: *Source

module Type.Booleans

data Proxy a Source

Constructors

Proxy 

type Equal a b = IsEQ (Compare a b)Source

type family IsPrefixOf pre s :: *Source

derive :: Name -> Q [Dec]Source

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.