Documentation

happyError :: [Token] -> Err a Source #

myLexer :: String -> [Token] Source #

pTermTyping :: [Token] -> Err TermTyping Source #

pContext :: [Token] -> Err Context Source #

pVarTyping :: [Token] -> Err VarTyping Source #

pListVarTyping :: [Token] -> Err [VarTyping] Source #

pMetaVarTyping :: [Token] -> Err MetaVarTyping Source #

pListMetaVarTyping :: [Token] -> Err [MetaVarTyping] Source #

pOpTyping :: [Token] -> Err OpTyping Source #

pConstraint :: [Token] -> Err Constraint Source #

pUnifier :: [Token] -> Err Unifier Source #

pSubst :: [Token] -> Err Subst Source #

pListSubst :: [Token] -> Err [Subst] Source #

pTerm :: [Token] -> Err Term Source #

pListTerm :: [Token] -> Err [Term] Source #

pOpArg :: [Token] -> Err OpArg Source #

pListOpArg :: [Token] -> Err [OpArg] Source #

pBinders :: [Token] -> Err Binders Source #

pScopedTerm :: [Token] -> Err ScopedTerm Source #

pType :: [Token] -> Err Type Source #

pType1 :: [Token] -> Err Type Source #

pType2 :: [Token] -> Err Type Source #

pListType :: [Token] -> Err [Type] Source #

pTypeBinders :: [Token] -> Err TypeBinders Source #

pScopedOpArgTyping :: [Token] -> Err ScopedOpArgTyping Source #

pListScopedOpArgTyping :: [Token] -> Err [ScopedOpArgTyping] Source #

pOpArgTyping :: [Token] -> Err OpArgTyping Source #

pScopedType :: [Token] -> Err ScopedType Source #

pListScopedType :: [Token] -> Err [ScopedType] Source #