Module Field_extensions.Make_applicative

Parameters

module F : Intf.S
module A : Intf.Traversable_applicative with module Impl := F.Impl

Signature

type t = F.t A.t
type 'a t_ = 'a F.t_ A.t
val constant : F.Unchecked.t A.t -> F.t A.t
val to_constant : F.t A.t -> F.Unchecked.t A.t option
val if_ : F.Impl.Boolean.var -> then_:F.t A.t -> else_:F.t A.t -> F.t A.t F.Impl.Checked.t
val scale : F.t A.t -> F.Impl.Field.t -> F.t A.t
val scale' : F.Impl.Field.t A.t -> F.t -> F.t A.t
val negate : F.t A.t -> F.t A.t
val (+) : F.t A.t -> F.t A.t -> F.t A.t
val (-) : F.t A.t -> F.t A.t -> F.t A.t
val map_ : 'a F.t_ A.t -> f:( 'a -> 'b ) -> 'b F.t_ A.t
val map2_ : 'a F.t_ A.t -> 'b F.t_ A.t -> f:( 'a -> 'b -> 'c ) -> 'c F.t_ A.t