Conllu.Type

defines types for handling CoNLL-U data.

type and data declarations

Documents and Sentences

type Doc = [Sent]

data Sent

Constructors

Sent

Fields

• _meta :: [Comment]

  the sentence's comments.

• _words :: [CW AW]

  the sentence's words.

Instances

Eq Sent

Defined in Conllu.Type

Methods

(==) :: Sent -> Sent -> Bool

(/=) :: Sent -> Sent -> Bool

Show Sent

Defined in Conllu.Type

Methods

showsPrec :: Int -> Sent -> ShowS

show :: Sent -> String

showList :: [Sent] -> ShowS

type Comment = StringPair

most comments are (key, value) pairs.

type StringPair = (String, String)

Words

data CW a

represents a word line in a CoNLL-U file. note that we have collapsed some fields together: HEAD and DEPREL have been combined as a relation type Rel accessible by the $sel:_rel:CW function; the DEPS field is merely a list of Rel.

a C(oNLL-U)W(ord) may be a simple word, a multi-word token, or an empty node. this is captured by the phantom type (the a in the declaration), which can be parametrized by one of the data types below in order to build functions that only operate on one of these word types (see mkSWord on how to do this). see the _dep function, which only operates on simple words, which are the ones that have a DEPREL field.

Constructors

CW

Fields

• _id :: ID

  ID field

• _form :: FORM

  FORM field

• _lemma :: LEMMA

  LEMMA field

• _upos :: UPOS

  UPOS field

• _xpos :: XPOS

  XPOS field

• _feats :: FEATS

  FEATS field

• _rel :: Maybe Rel

  combined HEAD and DEPREL fields

• _deps :: DEPS

  DEPS field

• _misc :: MISC

  MISC field

Instances

Eq (CW a)

Defined in Conllu.Type

Methods

(==) :: CW a -> CW a -> Bool

(/=) :: CW a -> CW a -> Bool

Ord (CW a)

Defined in Conllu.Type

Methods

compare :: CW a -> CW a -> Ordering

(<) :: CW a -> CW a -> Bool

(<=) :: CW a -> CW a -> Bool

(>) :: CW a -> CW a -> Bool

(>=) :: CW a -> CW a -> Bool

max :: CW a -> CW a -> CW a

min :: CW a -> CW a -> CW a

Show (CW a)

Defined in Conllu.Type

Methods

showsPrec :: Int -> CW a -> ShowS

show :: CW a -> String

showList :: [CW a] -> ShowS

Word types

data AW

phantom type for any kind of word.

data SW

phantom type for a simple word.

data MT

phantom type for multiword tokens. do note that in MWTs only the ID, FORM and MISC fields may be non-empty.

data EN

phantom type for an empty node.

Word Fields

data ID

Constructors

SID Index

word ID is an integer

MID Index Index

multi-word token ID is a range

EID Index Index

empty node ID is a decimal

Instances

Eq ID

Defined in Conllu.Type

Methods

(==) :: ID -> ID -> Bool

(/=) :: ID -> ID -> Bool

Ord ID

Defined in Conllu.Type

Methods

compare :: ID -> ID -> Ordering

(<) :: ID -> ID -> Bool

(<=) :: ID -> ID -> Bool

(>) :: ID -> ID -> Bool

(>=) :: ID -> ID -> Bool

max :: ID -> ID -> ID

min :: ID -> ID -> ID

Show ID

Defined in Conllu.Type

Methods

showsPrec :: Int -> ID -> ShowS

show :: ID -> String

showList :: [ID] -> ShowS

type FORM = Maybe String

type LEMMA = Maybe String

type UPOS = Maybe POS

type XPOS = Maybe String

type FEATS = [Feat]

type HEAD = ID

type DEPS = [Rel]

type MISC = Maybe String

data Feat

feature representation

Constructors

Feat

Fields

• _feat :: String

  feature name

• _featValues :: [String]

  feature values

• _featType :: Maybe String

  feature type (inside brackets).

Instances

Eq Feat

Defined in Conllu.Type

Methods

(==) :: Feat -> Feat -> Bool

(/=) :: Feat -> Feat -> Bool

Show Feat

Defined in Conllu.Type

Methods

showsPrec :: Int -> Feat -> ShowS

show :: Feat -> String

showList :: [Feat] -> ShowS

data Rel

dependency relation representation.

Constructors

Rel

Fields

• _head :: HEAD

  head ID

• _deprel :: EP

  dependency relation type

• _subdep :: Maybe String

  dependency relation subtype

• _rest :: Maybe [String]

  provisitonal, see issues 17

Instances

Eq Rel

Defined in Conllu.Type

Methods

(==) :: Rel -> Rel -> Bool

(/=) :: Rel -> Rel -> Bool

Show Rel

Defined in Conllu.Type

Methods

showsPrec :: Int -> Rel -> ShowS

show :: Rel -> String

showList :: [Rel] -> ShowS

type Index = Int

type IxSep = Char

ID separator in meta words

accessor functions

_dep :: CW SW -> Maybe EP

get DEPREL main value, if it exists.

depIs :: EP -> CW SW -> Bool

check if DEP is the one provided.

constructor functions

mkDEP :: String -> EP

read a main DEPREL (no subtype).

mkUPOS :: String -> POS

read an UPOS tag.

mkAW :: ID -> FORM -> LEMMA -> UPOS -> XPOS -> FEATS -> Maybe Rel -> DEPS -> MISC -> CW AW

make a word from its fields, by default it has phantom type of AW (any kind of word).

mkSW :: CW AW -> CW SW

coerce a word to a simple word.