Data.Memorable

renderMemorable

parseMemorable

rerender

class Memorable a

Pattern Building

(.-)

(.|)

two

three

four

five

padHex

padDec

hex

hex4

hex8

hex16

hex32

dec

dec4

dec8

dec16

dec32

type family ToTree (a :: [k]) :: * where ...

leftSide

rightSide

Pattern Types

data a :- b

class MemRender a

type Number nt n

data NumberWithOffset nt n o

data PadTo nt n a

data Dec

data Hex

type family Depth (a :: k) :: Nat where ...

getDepth

type family LeftSide (a :: *) :: * where ...

type family RightSide (a :: *) :: * where ...

Re-export

data Proxy k t