License | MIT |
---|---|
Maintainer | mail@doisinkidney.com |
Stability | experimental |
Safe Haskell | None |
Language | Haskell2010 |
Synopsis
- newtype Bottleneck a = Bottleneck {
- getBottleneck :: a
- newtype Division a = Division {
- getDivision :: a
- newtype Łukasiewicz a = Łukasiewicz {
- getŁukasiewicz :: a
- newtype Viterbi a = Viterbi {
- getViterbi :: a
- newtype PosFrac a = PosFrac {
- getPosFrac :: a
- newtype PosInt a = PosInt {
- getPosInt :: a
Documentation
newtype Bottleneck a Source #
Bottleneck | |
|
Instances
Division | |
|
Instances
newtype Łukasiewicz a Source #
Wikipedia has some information on this. Also this paper.
(<+>
) =max
x<.>
y =max
0 (x+
y-
1)zero
=zero
one
=one
Instances
Wikipedia has some information on this. Also this paper. Apparently used for probabilistic parsing.
(<+>
) =max
(<.>
) = (<.>
)zero
=zero
one
=one
Viterbi | |
|
Instances
Adds a star operation to fractional types.
(<+>
) = (<+>
) (<.>
) = (<.>
)zero
=zero
one
=one
star
x = if x < 1 then 1 / (1 - x) elsepositiveInfinity
PosFrac | |
|
Instances
Adds a star operation to integral types.
(<+>
) = (<+>
) (<.>
) = (<.>
)zero
=zero
one
=one
star
0 = 1star
_ =positiveInfinity