estimator-1.2.0.0: State-space estimation algorithms such as Kalman Filters

Numeric.Estimator.Model.Symbolic

Description

This package supports running filters in pure Haskell, of course. But it's also designed to work with libraries like sbv and ivory that can extract symbolic expressions, whether for analysis in other tools or for generating code in some other language.

This module provides helpers allowing models to abstract away from standard Haskell type-classes that do not support symbolic computation.

Synopsis

# Documentation

class HasAtan2 a where Source #

The atan2 function is defined in the RealFloat typeclass, which can't be implemented for symbolic types because nearly every member besides atan2 returns concrete values, not symbolic ones. This typeclass describes types, symbolic or concrete, that support an atan2 function.

Minimal complete definition

arctan2

Methods

arctan2 :: a -> a -> a Source #

Another name for atan2, chosen not to collide with RealFloat.

Instances

 Source # Methods