Module Indexed_selective.For_rigid

Parameters

Signature

include LAWS with type ('a, 'index) t := ('a, 'index) S.t
include Indexed_applicative.LAWS with type ('a, 'index) t := ('a, 'index) S.t
include Indexed_apply.LAWS with type ('a, 'index) t := ('a, 'index) S.t
include Indexed_functor.LAWS with type ('a, 'index) t := ('a, 'index) S.t
val functor_1 : unit -> (('a, 'index) S.t, ('a, 'index) S.t) Law.t
val functor_2 : unit -> ('a -> 'b, ('c -> 'a) -> ('c, 'index) S.t -> ('b, 'index) S.t) Law.t
val apply_1 : unit -> ((unit, 'index) S.t, ('a, 'index) S.t -> ('a, 'index) S.t) Law.t
val apply_2 : unit -> (('a, 'index) S.t, (unit, 'index) S.t -> ('a, 'index) S.t) Law.t
val applicative_1 : unit -> (('a, 'index) S.t, ('a, 'index) S.t) Law.t
val applicative_2 : unit -> ('a -> 'b, 'a -> ('b, 'index) S.t) Law.t
val applicative_3 : unit -> (('a -> 'b, 'index) S.t, 'a -> ('b, 'index) S.t) Law.t
val applicative_4 : unit -> (('a -> 'b, 'index) S.t, ('c -> 'a, 'index) S.t -> ('c, 'index) S.t -> ('b, 'index) S.t) Law.t
val applicative_5 : unit -> ('a -> 'b, ('a, 'index) S.t -> ('b, 'index) S.t) Law.t
val selective_1 : unit -> ((('a, 'a) Stdlib.Either.t, 'index) S.t, ('a, 'index) S.t) Law.t
val selective_2 : unit -> (('a, 'b) Stdlib.Either.t, ('a -> 'b, 'index) S.t -> ('a -> 'b, 'index) S.t -> ('b, 'index) S.t) Law.t
val selective_3 : unit -> ((('a, 'b) Stdlib.Either.t, 'index) S.t, (('c, 'a -> 'b) Stdlib.Either.t, 'index) S.t -> ('c -> 'a -> 'b, 'index) S.t -> ('b, 'index) S.t) Law.t
val selective_4 : unit -> ('a -> 'b, (('c, 'a) Stdlib.Either.t, 'index) S.t -> ('c -> 'a, 'index) S.t -> ('b, 'index) S.t) Law.t
val selective_5 : unit -> ('a -> 'b, (('a, 'c) Stdlib.Either.t, 'index) S.t -> ('b -> 'c, 'index) S.t -> ('c, 'index) S.t) Law.t
val selective_6 : unit -> ('a -> 'b -> 'c, (('b, 'c) Stdlib.Either.t, 'index) S.t -> ('a, 'index) S.t -> ('c, 'index) S.t) Law.t
val selective_7 : unit -> ((('a, 'b) Stdlib.Either.t, 'index) S.t, ('a -> 'b) -> ('b, 'index) S.t) Law.t
val selective_8 : unit -> (('a -> 'b, 'index) S.t, ('a, 'index) S.t -> ('b, 'index) S.t) Law.t
val selective_9 : unit -> (('a, 'index) S.t, (('b, 'c) Stdlib.Either.t, 'index) S.t -> ('b -> 'c, 'index) S.t -> ('c, 'index) S.t) Law.t