Expr

Description

Generalized Algebraic Datatypes example from Datatype-Generic Programming.

Documentation

data Expr a where Source #

Constructors

Num :: Int -> Expr Int
Plus :: Expr Int -> Expr Int -> Expr Int
Eq :: Expr Int -> Expr Int -> Expr Bool
If :: Expr Bool -> Expr e -> Expr e -> Expr e