Generics.MRSOP.Examples.RoseTree

This module is analogous to RoseTreeTH, but we use no Template Haskell here.

Standard Rose-Tree datatype

data R a

Constructors

a :>: [R a]

Leaf a

Instances

HasDatatypeInfo Kon Singl FamRose CodesRose

Methods

datatypeInfo :: Proxy [*] CodesRose -> SNat ix -> DatatypeInfo Singl (Lkup [[Atom Singl]] ix codes)

Eq (R Int)

Methods

(==) :: R Int -> R Int -> Bool

(/=) :: R Int -> R Int -> Bool

Show a => Show (R a)

Methods

showsPrec :: Int -> R a -> ShowS

show :: R a -> String

showList :: [R a] -> ShowS

value1 :: R Int

value2 :: R Int

value3 :: R Int

Family Structure

type ListCode = '['[], '[I (S Z), I Z]]

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

type CodesRose = '[ListCode, RTCode]

type FamRose = '[[R Int], R Int]

Instance Decl

Eq Instance

testEq :: Bool

Compos test

pattern RInt_ :: forall (a :: Nat). () => forall (n :: Nat). ((~#) Nat Nat a (S n), (~#) Nat Nat n Z) => SNat a

normalize :: R Int -> R Int

Crush test

sumTree :: R Int -> Int

testSum :: Bool

Orphan instances

Family Kon Singl FamRose CodesRose

Methods

sfrom' :: SNat ix -> El CodesRose ix -> Rep Singl FamRose (El CodesRose) (Lkup [[Atom Singl]] ix codes)

sto' :: SNat ix -> Rep Singl FamRose (El CodesRose) (Lkup [[Atom Singl]] ix codes) -> El CodesRose ix