Documentation

type Constraint = Tensor -> Tensor Source #

dependent :: Constraint Source #

boolean :: Constraint Source #

integerInterval :: Int -> Int -> Constraint Source #

integerLessThan :: Int -> Constraint Source #

integerGreaterThan :: Int -> Constraint Source #

integerLessThanEq :: Int -> Constraint Source #

integerGreaterThanEq :: Int -> Constraint Source #

real :: Constraint Source #

greaterThan :: Float -> Constraint Source #

greaterThanEq :: Float -> Constraint Source #

lessThan :: Float -> Constraint Source #

lessThanEq :: Float -> Constraint Source #

interval :: Float -> Float -> Constraint Source #

halfOpenInterval :: Float -> Float -> Constraint Source #

simplex :: Constraint Source #

nonNegativeInteger :: Constraint Source #

positiveInteger :: Constraint Source #

positive :: Constraint Source #

unitInterval :: Constraint Source #