module Language.PCPL.Syntax
    ( Program(..)
    , Domino(..)
    , Symbol
    , syms
    , unsyms
    ) where

import Language.UTM.Syntax

-- | PCPL program
data Program = Program
    { startDomino :: Input -> Domino
    , dominos     :: [Domino]
    , separator   :: Symbol
    }

data Domino = Domino [Symbol] [Symbol]
    deriving (Eq, Show)