XSaiga-1.1.0.0: An implementation of a polynomial-time top-down parser suitable for NLP

Safe HaskellNone
LanguageHaskell98

Getts

Documentation

addUri :: [a] -> [a] -> [a] Source

class TripleStore m where Source

Minimal complete definition

getts_1, getts_2, getts_3

Methods

getts_1 :: m -> (Event, String, String) -> IO [String] Source

getts_2 :: m -> (Event, String, String) -> IO [String] Source

getts_3 :: m -> (Event, String, String) -> IO [String] Source

getts_image :: m -> String -> String -> IO Image Source

getts_inverse :: m -> String -> [Event] -> IO Image Source

getts_members :: TripleStore m => m -> String -> IO Image Source

Instances

sortFirst :: Ord a => [(a, b)] -> [(a, b)] Source

type Event = String Source

type Triple = (Event, String, String) Source

type Image = [(String, [Event])] Source

data SPARQLBackend Source

Constructors

SPARQL String String 

Instances

removeUri :: String -> String -> String Source

preprocess :: String -> IO [[BindingValue]] -> IO [String] Source

deconstruct :: BindingValue -> String Source

memotable :: IORef (Map (SPARQLBackend, (String, String, String)) [String]) Source

memoIO :: (SPARQLBackend -> (String, String, String) -> IO [String]) -> SPARQLBackend -> (String, String, String) -> IO [String] Source

memotable' :: IORef (Map (SPARQLBackend, String) Image) Source

memoIO' :: (SPARQLBackend -> String -> IO Image) -> SPARQLBackend -> String -> IO Image Source

memotable'' :: IORef (Map (SPARQLBackend, String, [String]) Image) Source

memoIO'' :: (SPARQLBackend -> String -> [String] -> IO Image) -> SPARQLBackend -> String -> [String] -> IO Image Source

memotable''' :: IORef (Map (SPARQLBackend, String, String) Image) Source

memoIO''' :: (SPARQLBackend -> String -> String -> IO Image) -> SPARQLBackend -> String -> String -> IO Image Source

get_members :: TripleStore m => m -> String -> IO Image Source

get_subjs_of_event_type :: TripleStore m => m -> String -> IO Image Source

collect :: Ord a => [(a, a)] -> [(a, [a])] Source

condense :: (Eq a, Ord a) => [(a, a)] -> [(a, [a])] Source

make_image :: TripleStore m => m -> String -> String -> IO Image Source