liboleg-2010.1.9.0: An evolving collection of Oleg Kiselyov's Haskell modules

Lambda.CFG4

Description

Unifying syntax with semantics

Documentation

data S Source

Instances

Show (Sem S) 

data NP Source

data VP Source

data TV Source

class Symantics repr whereSource

Methods

john :: repr NPSource

mary :: repr NPSource

like :: repr TVSource

r2 :: repr TV -> repr NP -> repr VPSource

r1 :: repr NP -> repr VP -> repr SSource

Instances

data EN a Source

Constructors

EN 

Fields

unEN :: String
 

Instances

type family Tr a :: *Source

data Sem a Source

Constructors

Sem 

Fields

unSem :: Tr a
 

Instances

data Entity Source

Constructors

John 
Mary 

Instances