Safe Haskell	Safe
Language	Haskell2010

Generics.MRSOP.Examples.RoseTree

Contents

Description

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

Synopsis

data R a
- = a :>: [R a]
- | Leaf a
value1 :: R Int
value2 :: R Int
value3 :: R Int
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]
testEq :: Bool
pattern RInt_ :: forall (a :: Nat). () => forall (n :: Nat). (a ~# S n, n ~# Z) => SNat a
normalize :: R Int -> R Int
sumTree :: R Int -> Int
testSum :: Bool

Standard Rose-Tree datatype

data R a Source #

Constructors

a :>: [R a]
Leaf a

Instances

Family Singl FamRose CodesRose Source #
Instance details Defined in Generics.MRSOP.Examples.RoseTree Methods sfrom' :: SNat ix -> El FamRose ix -> Rep Singl (El FamRose) (Lkup ix CodesRose) Source # sto' :: SNat ix -> Rep Singl (El FamRose) (Lkup ix CodesRose) -> El FamRose ix Source #
HasDatatypeInfo Singl FamRose CodesRose Source #
Instance details Defined in Generics.MRSOP.Examples.RoseTree Methods datatypeInfo :: Proxy FamRose -> SNat ix -> DatatypeInfo (Lkup ix CodesRose) Source #
Eq (R Int) Source #
Instance details Defined in Generics.MRSOP.Examples.RoseTree Methods (==) :: R Int -> R Int -> Bool # (/=) :: R Int -> R Int -> Bool #
Show a => Show (R a) Source #
Instance details Defined in Generics.MRSOP.Examples.RoseTree Methods showsPrec :: Int -> R a -> ShowS # show :: R a -> String # showList :: [R a] -> ShowS #

Family Structure

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

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

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

Family Singl FamRose CodesRose Source #
Instance details Methods sfrom' :: SNat ix -> El FamRose ix -> Rep Singl (El FamRose) (Lkup ix CodesRose) Source # sto' :: SNat ix -> Rep Singl (El FamRose) (Lkup ix CodesRose) -> El FamRose ix Source #