Safe Haskell	None
Language	Haskell2010

Generics.MRSOP.Examples.SimpTH

Contents

Simple IMPerative Language:
Alpha Equality Functionality
- Zipper test
Orphan instances

Description

Uses a more involved example to test some of the functionalities of generics-mrsop.

Synopsis

data Stmt var
- = SAssign var (Exp var)
- | SIf (Exp var) (Stmt var) (Stmt var)
- | SSeq (Stmt var) (Stmt var)
- | SReturn (Exp var)
- | SDecl (Decl var)
- | SSkip
data Decl var
- = DVar var
- | DFun var var (Stmt var)
data Exp var
- = EVar var
- | ECall var (Exp var)
- | EAdd (Exp var) (Exp var)
- | ESub (Exp var) (Exp var)
- | ELit Int
type FamStmtString = '[Stmt String, Exp String, Decl String]
type CodesStmtString = '['['[K KString, I (S Z)], '[I (S Z), I Z, I Z], '[I Z, I Z], '[I (S Z)], '[I (S (S Z))], '[]], '['[K KString], '[K KString, I (S Z)], '[I (S Z), I (S Z)], '[I (S Z), I (S Z)], '[K KInt]], '['[K KString], '[K KString, K KString, I Z]]]
pattern DeclStringDFun_ :: kon KString -> kon KString -> phi Z -> View kon phi (Lkup (S (S Z)) CodesStmtString)
pattern DeclStringDVar_ :: kon KString -> View kon phi (Lkup (S (S Z)) CodesStmtString)
pattern ExpStringELit_ :: kon KInt -> View kon phi (Lkup (S Z) CodesStmtString)
pattern ExpStringESub_ :: phi (S Z) -> phi (S Z) -> View kon phi (Lkup (S Z) CodesStmtString)
pattern ExpStringEAdd_ :: phi (S Z) -> phi (S Z) -> View kon phi (Lkup (S Z) CodesStmtString)
pattern ExpStringECall_ :: kon KString -> phi (S Z) -> View kon phi (Lkup (S Z) CodesStmtString)
pattern ExpStringEVar_ :: kon KString -> View kon phi (Lkup (S Z) CodesStmtString)
pattern StmtStringSSkip_ :: View kon phi (Lkup Z CodesStmtString)
pattern StmtStringSDecl_ :: phi (S (S Z)) -> View kon phi (Lkup Z CodesStmtString)
pattern StmtStringSReturn_ :: phi (S Z) -> View kon phi (Lkup Z CodesStmtString)
pattern StmtStringSSeq_ :: phi Z -> phi Z -> View kon phi (Lkup Z CodesStmtString)
pattern StmtStringSIf_ :: phi (S Z) -> phi Z -> phi Z -> View kon phi (Lkup Z CodesStmtString)
pattern StmtStringSAssign_ :: kon KString -> phi (S Z) -> View kon phi (Lkup Z CodesStmtString)
pattern IdxDeclString :: forall (a :: Nat). () => forall (n :: Nat) (n1 :: Nat). (a ~# S n, n ~# S n1, n1 ~# Z) => SNat a
pattern IdxExpString :: forall (a :: Nat). () => forall (n :: Nat). (a ~# S n, n ~# Z) => SNat a
pattern IdxStmtString :: forall (a :: Nat). () => a ~# Z => SNat a
tyInfo_2 :: [Char]
tyInfo_1 :: [Char]
tyInfo_0 :: [Char]
type FIX = Fix Singl CodesStmtString
alphaEqD :: Decl String -> Decl String -> Bool
test1 :: String -> String -> String -> Decl String
test2 :: String -> String -> String -> Decl String
test3 :: String -> String -> String -> Decl String
(>>>) :: (a -> b) -> (b -> c) -> a -> c
test4 :: Int -> Decl String
test5 :: Maybe (Decl String)

Simple IMPerative Language:

data Stmt var Source #

Constructors

SAssign var (Exp var)
SIf (Exp var) (Stmt var) (Stmt var)
SSeq (Stmt var) (Stmt var)
SReturn (Exp var)
SDecl (Decl var)
SSkip

Instances

Family Singl FamStmtString CodesStmtString Source #
Instance details Defined in Generics.MRSOP.Examples.SimpTH Methods sfrom' :: SNat ix -> El FamStmtString ix -> Rep Singl (El FamStmtString) (Lkup ix CodesStmtString) Source # sto' :: SNat ix -> Rep Singl (El FamStmtString) (Lkup ix CodesStmtString) -> El FamStmtString ix Source #
HasDatatypeInfo Singl FamStmtString CodesStmtString Source #
Instance details Defined in Generics.MRSOP.Examples.SimpTH Methods datatypeInfo :: Proxy FamStmtString -> SNat ix -> DatatypeInfo (Lkup ix CodesStmtString) Source #
Show var => Show (Stmt var) Source #
Instance details Defined in Generics.MRSOP.Examples.SimpTH Methods showsPrec :: Int -> Stmt var -> ShowS # show :: Stmt var -> String # showList :: [Stmt var] -> ShowS #

data Decl var Source #

Constructors

DVar var
DFun var var (Stmt var)

Instances

Family Singl FamStmtString CodesStmtString Source #
Instance details Defined in Generics.MRSOP.Examples.SimpTH Methods sfrom' :: SNat ix -> El FamStmtString ix -> Rep Singl (El FamStmtString) (Lkup ix CodesStmtString) Source # sto' :: SNat ix -> Rep Singl (El FamStmtString) (Lkup ix CodesStmtString) -> El FamStmtString ix Source #
HasDatatypeInfo Singl FamStmtString CodesStmtString Source #
Instance details Defined in Generics.MRSOP.Examples.SimpTH Methods datatypeInfo :: Proxy FamStmtString -> SNat ix -> DatatypeInfo (Lkup ix CodesStmtString) Source #
Show var => Show (Decl var) Source #
Instance details Defined in Generics.MRSOP.Examples.SimpTH Methods showsPrec :: Int -> Decl var -> ShowS # show :: Decl var -> String # showList :: [Decl var] -> ShowS #

data Exp var Source #

Constructors

EVar var
ECall var (Exp var)
EAdd (Exp var) (Exp var)
ESub (Exp var) (Exp var)
ELit Int

Instances

Family Singl FamStmtString CodesStmtString Source #
Instance details Defined in Generics.MRSOP.Examples.SimpTH Methods sfrom' :: SNat ix -> El FamStmtString ix -> Rep Singl (El FamStmtString) (Lkup ix CodesStmtString) Source # sto' :: SNat ix -> Rep Singl (El FamStmtString) (Lkup ix CodesStmtString) -> El FamStmtString ix Source #
HasDatatypeInfo Singl FamStmtString CodesStmtString Source #
Instance details Defined in Generics.MRSOP.Examples.SimpTH Methods datatypeInfo :: Proxy FamStmtString -> SNat ix -> DatatypeInfo (Lkup ix CodesStmtString) Source #
Show var => Show (Exp var) Source #
Instance details Defined in Generics.MRSOP.Examples.SimpTH Methods showsPrec :: Int -> Exp var -> ShowS # show :: Exp var -> String # showList :: [Exp var] -> ShowS #

type FamStmtString = '[Stmt String, Exp String, Decl String] Source #

type CodesStmtString = '['['[K KString, I (S Z)], '[I (S Z), I Z, I Z], '[I Z, I Z], '[I (S Z)], '[I (S (S Z))], '[]], '['[K KString], '[K KString, I (S Z)], '[I (S Z), I (S Z)], '[I (S Z), I (S Z)], '[K KInt]], '['[K KString], '[K KString, K KString, I Z]]] Source #

pattern DeclStringDFun_ :: kon KString -> kon KString -> phi Z -> View kon phi (Lkup (S (S Z)) CodesStmtString) Source #

pattern DeclStringDVar_ :: kon KString -> View kon phi (Lkup (S (S Z)) CodesStmtString) Source #

pattern ExpStringELit_ :: kon KInt -> View kon phi (Lkup (S Z) CodesStmtString) Source #

pattern ExpStringESub_ :: phi (S Z) -> phi (S Z) -> View kon phi (Lkup (S Z) CodesStmtString) Source #

pattern ExpStringEAdd_ :: phi (S Z) -> phi (S Z) -> View kon phi (Lkup (S Z) CodesStmtString) Source #

pattern ExpStringECall_ :: kon KString -> phi (S Z) -> View kon phi (Lkup (S Z) CodesStmtString) Source #

pattern ExpStringEVar_ :: kon KString -> View kon phi (Lkup (S Z) CodesStmtString) Source #

pattern StmtStringSSkip_ :: View kon phi (Lkup Z CodesStmtString) Source #

pattern StmtStringSDecl_ :: phi (S (S Z)) -> View kon phi (Lkup Z CodesStmtString) Source #

pattern StmtStringSReturn_ :: phi (S Z) -> View kon phi (Lkup Z CodesStmtString) Source #

pattern StmtStringSSeq_ :: phi Z -> phi Z -> View kon phi (Lkup Z CodesStmtString) Source #

pattern StmtStringSIf_ :: phi (S Z) -> phi Z -> phi Z -> View kon phi (Lkup Z CodesStmtString) Source #

pattern StmtStringSAssign_ :: kon KString -> phi (S Z) -> View kon phi (Lkup Z CodesStmtString) Source #

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

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

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

tyInfo_2 :: [Char] Source #

tyInfo_1 :: [Char] Source #

tyInfo_0 :: [Char] Source #

type FIX = Fix Singl CodesStmtString Source #

Alpha Equality Functionality

alphaEqD :: Decl String -> Decl String -> Bool Source #

test1 :: String -> String -> String -> Decl String Source #

test2 :: String -> String -> String -> Decl String Source #

test3 :: String -> String -> String -> Decl String Source #

Zipper test

(>>>) :: (a -> b) -> (b -> c) -> a -> c infixr 4 Source #

test4 :: Int -> Decl String Source #

test5 :: Maybe (Decl String) Source #

Orphan instances

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