-- -*- haskell -*- File generated by the BNF Converter (bnfc 2.9.5).

-- Parser definition for use with Happy
{
{-# OPTIONS_GHC -fno-warn-incomplete-patterns -fno-warn-overlapping-patterns #-}
{-# LANGUAGE PatternSynonyms #-}

module Language.EO.Phi.Syntax.Par
  ( happyError
  , myLexer
  , pProgram
  , pObject
  , pBinding
  , pListBinding
  , pAttribute
  , pRuleAttribute
  , pPeeledObject
  , pObjectHead
  , pObjectAction
  , pListObjectAction
  ) where

import Prelude

import qualified Language.EO.Phi.Syntax.Abs
import Language.EO.Phi.Syntax.Lex

}

%name pProgram Program
%name pObject Object
%name pBinding Binding
%name pListBinding ListBinding
%name pAttribute Attribute
%name pRuleAttribute RuleAttribute
%name pPeeledObject PeeledObject
%name pObjectHead ObjectHead
%name pObjectAction ObjectAction
%name pListObjectAction ListObjectAction
-- no lexer declaration
%monad { Err } { (>>=) } { return }
%tokentype {Token}
%token
  '('                { PT _ (TS _ 1)                }
  ')'                { PT _ (TS _ 2)                }
  ','                { PT _ (TS _ 3)                }
  '.'                { PT _ (TS _ 4)                }
  '{'                { PT _ (TS _ 5)                }
  '}'                { PT _ (TS _ 6)                }
  'Δ'                { PT _ (TS _ 7)                }
  'Φ'                { PT _ (TS _ 8)                }
  'λ'                { PT _ (TS _ 9)                }
  'ν'                { PT _ (TS _ 10)               }
  'ξ'                { PT _ (TS _ 11)               }
  'ρ'                { PT _ (TS _ 12)               }
  'σ'                { PT _ (TS _ 13)               }
  'φ'                { PT _ (TS _ 14)               }
  '↦'                { PT _ (TS _ 15)               }
  '∅'                { PT _ (TS _ 16)               }
  '⊥'                { PT _ (TS _ 17)               }
  '⟦'                { PT _ (TS _ 18)               }
  '⟧'                { PT _ (TS _ 19)               }
  '⤍'                { PT _ (TS _ 20)               }
  L_Bytes            { PT _ (T_Bytes $$)            }
  L_Function         { PT _ (T_Function $$)         }
  L_LabelId          { PT _ (T_LabelId $$)          }
  L_AlphaIndex       { PT _ (T_AlphaIndex $$)       }
  L_MetaId           { PT _ (T_MetaId $$)           }
  L_MetaFunctionName { PT _ (T_MetaFunctionName $$) }

%%

Bytes :: { Language.EO.Phi.Syntax.Abs.Bytes }
Bytes  : L_Bytes { Language.EO.Phi.Syntax.Abs.Bytes $1 }

Function :: { Language.EO.Phi.Syntax.Abs.Function }
Function  : L_Function { Language.EO.Phi.Syntax.Abs.Function $1 }

LabelId :: { Language.EO.Phi.Syntax.Abs.LabelId }
LabelId  : L_LabelId { Language.EO.Phi.Syntax.Abs.LabelId $1 }

AlphaIndex :: { Language.EO.Phi.Syntax.Abs.AlphaIndex }
AlphaIndex  : L_AlphaIndex { Language.EO.Phi.Syntax.Abs.AlphaIndex $1 }

MetaId :: { Language.EO.Phi.Syntax.Abs.MetaId }
MetaId  : L_MetaId { Language.EO.Phi.Syntax.Abs.MetaId $1 }

MetaFunctionName :: { Language.EO.Phi.Syntax.Abs.MetaFunctionName }
MetaFunctionName  : L_MetaFunctionName { Language.EO.Phi.Syntax.Abs.MetaFunctionName $1 }

Program :: { Language.EO.Phi.Syntax.Abs.Program }
Program
  : '{' '⟦' ListBinding '⟧' '}' { Language.EO.Phi.Syntax.Abs.Program $3 }

Object :: { Language.EO.Phi.Syntax.Abs.Object }
Object
  : '⟦' ListBinding '⟧' { Language.EO.Phi.Syntax.Abs.Formation $2 }
  | Object '(' ListBinding ')' { Language.EO.Phi.Syntax.Abs.Application $1 $3 }
  | Object '.' Attribute { Language.EO.Phi.Syntax.Abs.ObjectDispatch $1 $3 }
  | 'Φ' { Language.EO.Phi.Syntax.Abs.GlobalObject }
  | 'ξ' { Language.EO.Phi.Syntax.Abs.ThisObject }
  | '⊥' { Language.EO.Phi.Syntax.Abs.Termination }
  | MetaId { Language.EO.Phi.Syntax.Abs.MetaObject $1 }
  | MetaFunctionName '(' Object ')' { Language.EO.Phi.Syntax.Abs.MetaFunction $1 $3 }

Binding :: { Language.EO.Phi.Syntax.Abs.Binding }
Binding
  : Attribute '↦' Object { Language.EO.Phi.Syntax.Abs.AlphaBinding $1 $3 }
  | Attribute '↦' '∅' { Language.EO.Phi.Syntax.Abs.EmptyBinding $1 }
  | 'Δ' '⤍' Bytes { Language.EO.Phi.Syntax.Abs.DeltaBinding $3 }
  | 'Δ' '⤍' '∅' { Language.EO.Phi.Syntax.Abs.DeltaEmptyBinding }
  | 'λ' '⤍' Function { Language.EO.Phi.Syntax.Abs.LambdaBinding $3 }
  | MetaId { Language.EO.Phi.Syntax.Abs.MetaBindings $1 }
  | 'Δ' '⤍' MetaId { Language.EO.Phi.Syntax.Abs.MetaDeltaBinding $3 }

ListBinding :: { [Language.EO.Phi.Syntax.Abs.Binding] }
ListBinding
  : {- empty -} { [] }
  | Binding { (:[]) $1 }
  | Binding ',' ListBinding { (:) $1 $3 }

Attribute :: { Language.EO.Phi.Syntax.Abs.Attribute }
Attribute
  : 'φ' { Language.EO.Phi.Syntax.Abs.Phi }
  | 'ρ' { Language.EO.Phi.Syntax.Abs.Rho }
  | 'σ' { Language.EO.Phi.Syntax.Abs.Sigma }
  | 'ν' { Language.EO.Phi.Syntax.Abs.VTX }
  | LabelId { Language.EO.Phi.Syntax.Abs.Label $1 }
  | AlphaIndex { Language.EO.Phi.Syntax.Abs.Alpha $1 }
  | MetaId { Language.EO.Phi.Syntax.Abs.MetaAttr $1 }

RuleAttribute :: { Language.EO.Phi.Syntax.Abs.RuleAttribute }
RuleAttribute
  : Attribute { Language.EO.Phi.Syntax.Abs.ObjectAttr $1 }
  | 'Δ' { Language.EO.Phi.Syntax.Abs.DeltaAttr }
  | 'λ' { Language.EO.Phi.Syntax.Abs.LambdaAttr }

PeeledObject :: { Language.EO.Phi.Syntax.Abs.PeeledObject }
PeeledObject
  : ObjectHead ListObjectAction { Language.EO.Phi.Syntax.Abs.PeeledObject $1 $2 }

ObjectHead :: { Language.EO.Phi.Syntax.Abs.ObjectHead }
ObjectHead
  : '⟦' ListBinding '⟧' { Language.EO.Phi.Syntax.Abs.HeadFormation $2 }
  | 'Φ' { Language.EO.Phi.Syntax.Abs.HeadGlobal }
  | 'ξ' { Language.EO.Phi.Syntax.Abs.HeadThis }
  | '⊥' { Language.EO.Phi.Syntax.Abs.HeadTermination }

ObjectAction :: { Language.EO.Phi.Syntax.Abs.ObjectAction }
ObjectAction
  : '(' ListBinding ')' { Language.EO.Phi.Syntax.Abs.ActionApplication $2 }
  | '.' Attribute { Language.EO.Phi.Syntax.Abs.ActionDispatch $2 }

ListObjectAction :: { [Language.EO.Phi.Syntax.Abs.ObjectAction] }
ListObjectAction
  : {- empty -} { [] } | ObjectAction ListObjectAction { (:) $1 $2 }

{

type Err = Either String

happyError :: [Token] -> Err a
happyError ts = Left $
  "syntax error at " ++ tokenPos ts ++
  case ts of
    []      -> []
    [Err _] -> " due to lexer error"
    t:_     -> " before `" ++ (prToken t) ++ "'"

myLexer :: String -> [Token]
myLexer = tokens

}