Data.HDiff.Example

Documentation

data Tree23

2-3-Trees declaration

Constructors

Node2 Int Tree23 Tree23

Node3 Int Tree23 Tree23 Tree23

Leaf

Instances

Eq Tree23

Defined in Data.HDiff.Example

Methods

(==) :: Tree23 -> Tree23 -> Bool

(/=) :: Tree23 -> Tree23 -> Bool

Show Tree23

Defined in Data.HDiff.Example

Methods

showsPrec :: Int -> Tree23 -> ShowS

show :: Tree23 -> String

showList :: [Tree23] -> ShowS

HasDatatypeInfo Singl FamTree23 CodesTree23

Defined in Data.HDiff.Example

Methods

datatypeInfo :: Proxy FamTree23 -> SNat ix -> DatatypeInfo (Lkup ix CodesTree23)

Family Singl FamTree23 CodesTree23

Defined in Data.HDiff.Example

Methods

sfrom' :: SNat ix -> El FamTree23 ix -> Rep Singl (El FamTree23) (Lkup ix CodesTree23)

sto' :: SNat ix -> Rep Singl (El FamTree23) (Lkup ix CodesTree23) -> El FamTree23 ix

type FamTree23 = '[Tree23]

type CodesTree23 = '['['[K KInt, I Z, I Z], '[K KInt, I Z, I Z, I Z], '[]]]

pattern Leaf_ :: View kon phi (Lkup Z CodesTree23)

pattern Node3_ :: kon KInt -> phi Z -> phi Z -> phi Z -> View kon phi (Lkup Z CodesTree23)

pattern Node2_ :: kon KInt -> phi Z -> phi Z -> View kon phi (Lkup Z CodesTree23)

pattern IdxTree23 :: forall (a :: Nat). () => a ~# Z => SNat a

mt1 :: Tree23

mt2 :: Tree23

mt3 :: Tree23

mt4 :: Tree23

big1 :: Tree23

big2 :: Tree23

big3 :: Tree23

tr :: Tree23 -> Fix Singl CodesTree23 Z

dgms :: Tree23 -> Tree23 -> Patch Singl CodesTree23 Z

o :: Tree23

p :: Tree23

q :: Tree23

type TreeTerm = Holes Singl CodesTree23 (MetaVarIK Singl) (I Z)

unif1 :: TreeTerm

unif12 :: TreeTerm

unif2 :: TreeTerm

unif22 :: TreeTerm

change1 :: CChange Singl CodesTree23 (I Z :: Atom Kon)

change2 :: CChange Singl CodesTree23 (I Z :: Atom Kon)

Orphan instances

DigestibleHO Singl

Methods

digestHO :: Singl ki -> Digest

Family Singl FamTree23 CodesTree23

Methods

sfrom' :: SNat ix -> El FamTree23 ix -> Rep Singl (El FamTree23) (Lkup ix CodesTree23)

sto' :: SNat ix -> Rep Singl (El FamTree23) (Lkup ix CodesTree23) -> El FamTree23 ix