Safe Haskell	None
Language	Haskell98

Data.CRF.Chain2.Tiers.Core

Contents

Basic types
Complex label
Input element (word)
- Indexing
Output element (choice)
Feature
- Feature generation

Description

Internal core data types.

Synopsis

newtype Ob = Ob {
- _unOb :: Int32
}
mkOb :: Int -> Ob
unOb :: Ob -> Int
newtype Lb = Lb {
- _unLb :: Int16
}
mkLb :: Int -> Lb
unLb :: Lb -> Int
newtype FeatIx = FeatIx {
- _unFeatIx :: Int32
}
mkFeatIx :: Int -> FeatIx
unFeatIx :: FeatIx -> Int
type CbIx = Int
newtype Cb = Cb {
- _unCb :: Vector Lb
}
mkCb :: [Lb] -> Cb
unCb :: Cb -> [Lb]
data X
mkX :: [Ob] -> [Cb] -> X
unX :: X -> [Ob]
unR :: X -> [Cb]
lbAt :: X -> CbIx -> Cb
data Y
mkY :: [(Cb, Double)] -> Y
unY :: Y -> [(Cb, LogFloat)]
data Feat
- = TFeat3 {
  - x1 :: !Lb
  - x2 :: !Lb
  - x3 :: !Lb
  - ln :: !Int
  }
- | TFeat2 {
  - x1 :: !Lb
  - x2 :: !Lb
  - ln :: !Int
  }
- | TFeat1 {
  - x1 :: !Lb
  - ln :: !Int
  }
- | OFeat {
  - ob :: !Ob
  - x1 :: !Lb
  - ln :: !Int
  }
obFeats :: Ob -> Cb -> [Feat]
trFeats1 :: Cb -> [Feat]
trFeats2 :: Cb -> Cb -> [Feat]
trFeats3 :: Cb -> Cb -> Cb -> [Feat]

Basic types

newtype Ob Source #

An observation.

Constructors

Ob
Fields _unOb :: Int32

Instances

Eq Ob Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods (==) :: Ob -> Ob -> Bool # (/=) :: Ob -> Ob -> Bool #
Ord Ob Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods compare :: Ob -> Ob -> Ordering # (<) :: Ob -> Ob -> Bool # (<=) :: Ob -> Ob -> Bool # (>) :: Ob -> Ob -> Bool # (>=) :: Ob -> Ob -> Bool # max :: Ob -> Ob -> Ob # min :: Ob -> Ob -> Ob #
Show Ob Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods showsPrec :: Int -> Ob -> ShowS # show :: Ob -> String # showList :: [Ob] -> ShowS #
Binary Ob Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods put :: Ob -> Put # get :: Get Ob # putList :: [Ob] -> Put #
Unbox Ob Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core
Vector Vector Ob Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) Ob -> m (Vector Ob) # basicUnsafeThaw :: PrimMonad m => Vector Ob -> m (Mutable Vector (PrimState m) Ob) # basicLength :: Vector Ob -> Int # basicUnsafeSlice :: Int -> Int -> Vector Ob -> Vector Ob # basicUnsafeIndexM :: Monad m => Vector Ob -> Int -> m Ob # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) Ob -> Vector Ob -> m () # elemseq :: Vector Ob -> Ob -> b -> b #
MVector MVector Ob Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods basicLength :: MVector s Ob -> Int # basicUnsafeSlice :: Int -> Int -> MVector s Ob -> MVector s Ob # basicOverlaps :: MVector s Ob -> MVector s Ob -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) Ob) # basicInitialize :: PrimMonad m => MVector (PrimState m) Ob -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> Ob -> m (MVector (PrimState m) Ob) # basicUnsafeRead :: PrimMonad m => MVector (PrimState m) Ob -> Int -> m Ob # basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) Ob -> Int -> Ob -> m () # basicClear :: PrimMonad m => MVector (PrimState m) Ob -> m () # basicSet :: PrimMonad m => MVector (PrimState m) Ob -> Ob -> m () # basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) Ob -> MVector (PrimState m) Ob -> m () # basicUnsafeMove :: PrimMonad m => MVector (PrimState m) Ob -> MVector (PrimState m) Ob -> m () # basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) Ob -> Int -> m (MVector (PrimState m) Ob) #
data Vector Ob Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core data Vector Ob = V_Ob (Vector Int32)
data MVector s Ob Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core data MVector s Ob = MV_Ob (MVector s Int32)

mkOb :: Int -> Ob Source #

Smart observation constructor.

unOb :: Ob -> Int Source #

Deconstract observation.

newtype Lb Source #

An atomic label.

Constructors

Lb
Fields _unLb :: Int16

Instances

Eq Lb Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods (==) :: Lb -> Lb -> Bool # (/=) :: Lb -> Lb -> Bool #
Num Lb Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods (+) :: Lb -> Lb -> Lb # (-) :: Lb -> Lb -> Lb # (*) :: Lb -> Lb -> Lb # negate :: Lb -> Lb # abs :: Lb -> Lb # signum :: Lb -> Lb # fromInteger :: Integer -> Lb #
Ord Lb Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods compare :: Lb -> Lb -> Ordering # (<) :: Lb -> Lb -> Bool # (<=) :: Lb -> Lb -> Bool # (>) :: Lb -> Lb -> Bool # (>=) :: Lb -> Lb -> Bool # max :: Lb -> Lb -> Lb # min :: Lb -> Lb -> Lb #
Show Lb Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods showsPrec :: Int -> Lb -> ShowS # show :: Lb -> String # showList :: [Lb] -> ShowS #
Ix Lb Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods range :: (Lb, Lb) -> [Lb] # index :: (Lb, Lb) -> Lb -> Int # unsafeIndex :: (Lb, Lb) -> Lb -> Int inRange :: (Lb, Lb) -> Lb -> Bool # rangeSize :: (Lb, Lb) -> Int # unsafeRangeSize :: (Lb, Lb) -> Int
Binary Lb Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods put :: Lb -> Put # get :: Get Lb # putList :: [Lb] -> Put #
Unbox Lb Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core
Bounds Lb Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods lower :: Lb -> Lb -> Lb Source # upper :: Lb -> Lb -> Lb Source #
Vector Vector Lb Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) Lb -> m (Vector Lb) # basicUnsafeThaw :: PrimMonad m => Vector Lb -> m (Mutable Vector (PrimState m) Lb) # basicLength :: Vector Lb -> Int # basicUnsafeSlice :: Int -> Int -> Vector Lb -> Vector Lb # basicUnsafeIndexM :: Monad m => Vector Lb -> Int -> m Lb # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) Lb -> Vector Lb -> m () # elemseq :: Vector Lb -> Lb -> b -> b #
MVector MVector Lb Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods basicLength :: MVector s Lb -> Int # basicUnsafeSlice :: Int -> Int -> MVector s Lb -> MVector s Lb # basicOverlaps :: MVector s Lb -> MVector s Lb -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) Lb) # basicInitialize :: PrimMonad m => MVector (PrimState m) Lb -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> Lb -> m (MVector (PrimState m) Lb) # basicUnsafeRead :: PrimMonad m => MVector (PrimState m) Lb -> Int -> m Lb # basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) Lb -> Int -> Lb -> m () # basicClear :: PrimMonad m => MVector (PrimState m) Lb -> m () # basicSet :: PrimMonad m => MVector (PrimState m) Lb -> Lb -> m () # basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) Lb -> MVector (PrimState m) Lb -> m () # basicUnsafeMove :: PrimMonad m => MVector (PrimState m) Lb -> MVector (PrimState m) Lb -> m () # basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) Lb -> Int -> m (MVector (PrimState m) Lb) #
data Vector Lb Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core data Vector Lb = V_Lb (Vector Int16)
data MVector s Lb Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core data MVector s Lb = MV_Lb (MVector s Int16)

mkLb :: Int -> Lb Source #

Smart label constructor.

unLb :: Lb -> Int Source #

Deconstruct label.

newtype FeatIx Source #

A feature index. To every model feature a unique index is assigned.

Constructors

FeatIx
Fields _unFeatIx :: Int32

Instances

Eq FeatIx Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods (==) :: FeatIx -> FeatIx -> Bool # (/=) :: FeatIx -> FeatIx -> Bool #
Ord FeatIx Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods compare :: FeatIx -> FeatIx -> Ordering # (<) :: FeatIx -> FeatIx -> Bool # (<=) :: FeatIx -> FeatIx -> Bool # (>) :: FeatIx -> FeatIx -> Bool # (>=) :: FeatIx -> FeatIx -> Bool # max :: FeatIx -> FeatIx -> FeatIx # min :: FeatIx -> FeatIx -> FeatIx #
Show FeatIx Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods showsPrec :: Int -> FeatIx -> ShowS # show :: FeatIx -> String # showList :: [FeatIx] -> ShowS #
Binary FeatIx Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods put :: FeatIx -> Put # get :: Get FeatIx # putList :: [FeatIx] -> Put #
Unbox FeatIx Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core
Vector Vector FeatIx Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) FeatIx -> m (Vector FeatIx) # basicUnsafeThaw :: PrimMonad m => Vector FeatIx -> m (Mutable Vector (PrimState m) FeatIx) # basicLength :: Vector FeatIx -> Int # basicUnsafeSlice :: Int -> Int -> Vector FeatIx -> Vector FeatIx # basicUnsafeIndexM :: Monad m => Vector FeatIx -> Int -> m FeatIx # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) FeatIx -> Vector FeatIx -> m () # elemseq :: Vector FeatIx -> FeatIx -> b -> b #
MVector MVector FeatIx Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods basicLength :: MVector s FeatIx -> Int # basicUnsafeSlice :: Int -> Int -> MVector s FeatIx -> MVector s FeatIx # basicOverlaps :: MVector s FeatIx -> MVector s FeatIx -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) FeatIx) # basicInitialize :: PrimMonad m => MVector (PrimState m) FeatIx -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> FeatIx -> m (MVector (PrimState m) FeatIx) # basicUnsafeRead :: PrimMonad m => MVector (PrimState m) FeatIx -> Int -> m FeatIx # basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) FeatIx -> Int -> FeatIx -> m () # basicClear :: PrimMonad m => MVector (PrimState m) FeatIx -> m () # basicSet :: PrimMonad m => MVector (PrimState m) FeatIx -> FeatIx -> m () # basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) FeatIx -> MVector (PrimState m) FeatIx -> m () # basicUnsafeMove :: PrimMonad m => MVector (PrimState m) FeatIx -> MVector (PrimState m) FeatIx -> m () # basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) FeatIx -> Int -> m (MVector (PrimState m) FeatIx) #
data Vector FeatIx Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core data Vector FeatIx = V_FeatIx (Vector Int32)
data MVector s FeatIx Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core data MVector s FeatIx = MV_FeatIx (MVector s Int32)

mkFeatIx :: Int -> FeatIx Source #

Smart feature index constructor.

unFeatIx :: FeatIx -> Int Source #

Deconstract feature index.

type CbIx = Int Source #

An index of the label.

Complex label

newtype Cb Source #

A complex label is a vector of atomic labels.

Constructors

Cb
Fields _unCb :: Vector Lb

Instances

Eq Cb Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods (==) :: Cb -> Cb -> Bool # (/=) :: Cb -> Cb -> Bool #
Ord Cb Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods compare :: Cb -> Cb -> Ordering # (<) :: Cb -> Cb -> Bool # (<=) :: Cb -> Cb -> Bool # (>) :: Cb -> Cb -> Bool # (>=) :: Cb -> Cb -> Bool # max :: Cb -> Cb -> Cb # min :: Cb -> Cb -> Cb #
Show Cb Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods showsPrec :: Int -> Cb -> ShowS # show :: Cb -> String # showList :: [Cb] -> ShowS #
Binary Cb Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods put :: Cb -> Put # get :: Get Cb # putList :: [Cb] -> Put #

mkCb :: [Lb] -> Cb Source #

Smart complex label constructor.

unCb :: Cb -> [Lb] Source #

Deconstract complex label.

Input element (word)

data X Source #

A word is represented by a list of its observations and a list of its potential label interpretations.

Instances

Eq X Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods (==) :: X -> X -> Bool # (/=) :: X -> X -> Bool #
Ord X Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods compare :: X -> X -> Ordering # (<) :: X -> X -> Bool # (<=) :: X -> X -> Bool # (>) :: X -> X -> Bool # (>=) :: X -> X -> Bool # max :: X -> X -> X # min :: X -> X -> X #
Show X Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods showsPrec :: Int -> X -> ShowS # show :: X -> String # showList :: [X] -> ShowS #
Binary X Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods put :: X -> Put # get :: Get X # putList :: [X] -> Put #

mkX :: [Ob] -> [Cb] -> X Source #

Smart X constructor.

unX :: X -> [Ob] Source #

List of observations.

unR :: X -> [Cb] Source #

List of potential labels.

Indexing

lbAt :: X -> CbIx -> Cb Source #

Potential label at the given position.

Output element (choice)

data Y Source #

Vector of chosen labels together with corresponding probabilities in log domain.

Instances

Eq Y Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods (==) :: Y -> Y -> Bool # (/=) :: Y -> Y -> Bool #
Ord Y Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods compare :: Y -> Y -> Ordering # (<) :: Y -> Y -> Bool # (<=) :: Y -> Y -> Bool # (>) :: Y -> Y -> Bool # (>=) :: Y -> Y -> Bool # max :: Y -> Y -> Y # min :: Y -> Y -> Y #
Show Y Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods showsPrec :: Int -> Y -> ShowS # show :: Y -> String # showList :: [Y] -> ShowS #
Binary Y Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods put :: Y -> Put # get :: Get Y # putList :: [Y] -> Put #

mkY :: [(Cb, Double)] -> Y Source #

Y constructor.

unY :: Y -> [(Cb, LogFloat)] Source #

Y deconstructor symetric to mkY.

Feature

data Feat Source #

Feature; every feature is associated to a layer with ln identifier.

Constructors

TFeat3	Second-order transition feature.
Fields x1 :: !Lb x2 :: !Lb x3 :: !Lb ln :: !Int
TFeat2	First-order transition feature.
Fields x1 :: !Lb x2 :: !Lb ln :: !Int
TFeat1	Zero-order transition feature.
Fields x1 :: !Lb ln :: !Int
OFeat	Observation feature.
Fields ob :: !Ob x1 :: !Lb ln :: !Int

Instances

Eq Feat Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods (==) :: Feat -> Feat -> Bool # (/=) :: Feat -> Feat -> Bool #
Ord Feat Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods compare :: Feat -> Feat -> Ordering # (<) :: Feat -> Feat -> Bool # (<=) :: Feat -> Feat -> Bool # (>) :: Feat -> Feat -> Bool # (>=) :: Feat -> Feat -> Bool # max :: Feat -> Feat -> Feat # min :: Feat -> Feat -> Feat #
Show Feat Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods showsPrec :: Int -> Feat -> ShowS # show :: Feat -> String # showList :: [Feat] -> ShowS #
Binary Feat Source #
Instance details Defined in Data.CRF.Chain2.Tiers.Core Methods put :: Feat -> Put # get :: Get Feat # putList :: [Feat] -> Put #

Feature generation

obFeats :: Ob -> Cb -> [Feat] Source #

Generate observation features.

trFeats1 :: Cb -> [Feat] Source #

Generate zero-order transition features.

trFeats2 :: Cb -> Cb -> [Feat] Source #

Generate first-order transition features.

trFeats3 :: Cb -> Cb -> Cb -> [Feat] Source #

Generate second-order transition features.