Copyright	(c) Julian Grove and Aaron Steven White 2025
License	MIT
Maintainer	julian.grove@gmail.com
Safe Haskell	Safe-Inferred
Language	Haskell2010

Framework.Grammar.Parser

Description

CKY-style parsing for CCG.

Synopsis

forParse :: ([a] -> [b]) -> ParseAs a -> ParseAs b
interpret :: forall (p :: Project) m. Interpretation p m => Int -> Expr -> Chart m
interpretations :: forall (p :: Project) m. (Interpretation p m, Eq m) => Expr -> Int -> ParseAs m
newtype ParseAs a = ParseAs {
- getList :: [a]
}

Documentation

forParse :: ([a] -> [b]) -> ParseAs a -> ParseAs b Source #

interpret :: forall (p :: Project) m. Interpretation p m => Int -> Expr -> Chart m Source #

CKY-style CCG expression interpreter, but with parses cached by substring identity instead of by span, for stronger memoization.

Constructors

ParseAs
Fields getList :: [a]

Instances details

Functor ParseAs Source #
Instance details Defined in Framework.Grammar.Parser Methods fmap :: (a -> b) -> ParseAs a -> ParseAs b # (<$) :: a -> ParseAs b -> ParseAs a #
Show a => Show (ParseAs a) Source #
Instance details Defined in Framework.Grammar.Parser Methods showsPrec :: Int -> ParseAs a -> ShowS # show :: ParseAs a -> String # showList :: [ParseAs a] -> ShowS #