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

Framework.Grammar.Lexica.SynSem

Contents

Description

Synopsis

Lexica with syntax and semantics

A representation for expressions having both a category (syn) and a typed λ-term (sem).

Constructors

SynSem
Fields syn :: Cat sem :: Typed

Instances details

Show SynSem Source #
Instance details Defined in Framework.Grammar.Lexica.SynSem Methods showsPrec :: Int -> SynSem -> ShowS # show :: SynSem -> String # showList :: [SynSem] -> ShowS #
Eq SynSem Source #
Instance details Defined in Framework.Grammar.Lexica.SynSem Methods (==) :: SynSem -> SynSem -> Bool # (/=) :: SynSem -> SynSem -> Bool #
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 #