FRP.Reactive.Internal.Fun

Constant-optimized representation of functions.

Documentation

data Fun t a

Constant-optimized functions

Constructors

K a

constant function

Fun (t -> a)

non-constant function

Instances

Arrow Fun

Category Fun

Monad (Fun t)

Functor (Fun t)

Applicative (Fun t)

Zip (Fun t)

Monoid t => Comonad (Fun t)

Pointed (Fun t)

Monoid t => Copointed (Fun t)

Model1 (Fun a) ((->) a)

Show b => Show (Fun a b)

(CoArbitrary a, Arbitrary b) => Arbitrary (Fun a b)

(Arbitrary a, CoArbitrary b) => CoArbitrary (Fun a b)

Monoid a => Monoid (Fun t a)

(Show a, Arbitrary a, EqProp a, EqProp b) => EqProp (Fun a b)

Model (Fun a b) (a -> b)

(Applicative (:. (ReactiveG tr) (Fun tf)), Monoid a) => Monoid (:. (ReactiveG tr) (Fun tf) a)