FRP.Animas.Forceable

Hyperstrict evaluation.

Documentation

class Forceable a where

Typeclass for values whose entire structure may be made strict

Methods

force :: a -> a

Forces the value of an expression and returns it

Instances

Forceable Bool

Forceable Char

Forceable Double

Forceable Float

Forceable Int

Forceable Integer

Forceable ()

Forceable a => Forceable [a]

Forceable a => Forceable (Maybe a)

Forceable a => Forceable (Event a)

RealFloat a => Forceable (Vector2 a)

RealFloat a => Forceable (Vector3 a)

RealFloat a => Forceable (Point2 a)

RealFloat a => Forceable (Point3 a)

(Forceable a, Forceable b) => Forceable (a, b)

(Forceable a, Forceable b, Forceable c) => Forceable (a, b, c)

(Forceable a, Forceable b, Forceable c, Forceable d) => Forceable (a, b, c, d)

(Forceable a, Forceable b, Forceable c, Forceable d, Forceable e) => Forceable (a, b, c, d, e)