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

Framework.Grammar.CCG

Contents

Description

CCG types are defined and used to type strings, analogously to the way λ-terms are typed.

Synopsis

type Word = String
type Expr = [Word]
data Cat
- = Base String
- | Cat :/: Cat
- | Cat :\: Cat
(//) :: Cat -> Cat -> Cat
(\\) :: Cat -> Cat -> Cat
type Lexicon m = Word -> [m]
data Project
- = Adjectives
- | Factivity
class Interpretation (p :: Project) m where
- lexica :: [Lexicon m]
- combineR :: m -> m -> [m]
- combineL :: m -> m -> [m]

Expressions and grammatical categories

Constructors

Instances details

Show Cat Source #
Instance details Defined in Framework.Grammar.CCG Methods showsPrec :: Int -> Cat -> ShowS # show :: Cat -> String # showList :: [Cat] -> ShowS #
Eq Cat Source #
Instance details Defined in Framework.Grammar.CCG Methods (==) :: Cat -> Cat -> Bool # (/=) :: Cat -> Cat -> Bool #

type Lexicon m = Word -> [m] Source #

Constructors

Adjectives
Factivity

Methods

combineR :: m -> m -> [m] Source #

combineL :: m -> m -> [m] Source #

Instances details

Interpretation 'Adjectives SynSem Source #
Instance details Defined in Analysis.Adjectives.Adjectives Methods lexica :: [Lexicon SynSem] Source # combineR :: SynSem -> SynSem -> [SynSem] Source # combineL :: SynSem -> SynSem -> [SynSem] Source #
Interpretation 'Factivity SynSem Source #
Instance details Defined in Analysis.Factivity.Factivity Methods lexica :: [Lexicon SynSem] Source # combineR :: SynSem -> SynSem -> [SynSem] Source # combineL :: SynSem -> SynSem -> [SynSem] Source #