Laws (preface.Preface_qcheck.Indexed

val functor_1 : unit -> (('a, 'index) F.t, ('a, 'index) F.t) Preface_laws.Law.t

val functor_2 : 
  unit ->
  ('a -> 'b, ('c -> 'a) -> ('c, 'index) F.t -> ('b, 'index) F.t)
    Preface_laws.Law.t

val apply_1 : 
  unit ->
  ((unit, 'index) F.t, ('a, 'index) F.t -> ('a, 'index) F.t) Preface_laws.Law.t

val apply_2 : 
  unit ->
  (('a, 'index) F.t, (unit, 'index) F.t -> ('a, 'index) F.t) Preface_laws.Law.t

val applicative_1 : 
  unit ->
  (('a, 'index) F.t, ('a, 'index) F.t) Preface_laws.Law.t

val applicative_2 : 
  unit ->
  ('a -> 'b, 'a -> ('b, 'index) F.t) Preface_laws.Law.t

val applicative_3 : 
  unit ->
  (('a -> 'b, 'index) F.t, 'a -> ('b, 'index) F.t) Preface_laws.Law.t

val applicative_4 : 
  unit ->
  (('a -> 'b, 'index) F.t,
    ('c -> 'a, 'index) F.t ->
    ('c, 'index) F.t ->
    ('b, 'index) F.t)
    Preface_laws.Law.t

val applicative_5 : 
  unit ->
  ('a -> 'b, ('a, 'index) F.t -> ('b, 'index) F.t) Preface_laws.Law.t

val selective_1 : 
  unit ->
  ((('a, 'a) Stdlib.Either.t, 'index) F.t, ('a, 'index) F.t) Preface_laws.Law.t

val selective_2 : 
  unit ->
  (('a, 'b) Stdlib.Either.t,
    ('a -> 'b, 'index) F.t ->
    ('a -> 'b, 'index) F.t ->
    ('b, 'index) F.t)
    Preface_laws.Law.t

val selective_3 : 
  unit ->
  ((('a, 'b) Stdlib.Either.t, 'index) F.t,
    (('c, 'a -> 'b) Stdlib.Either.t, 'index) F.t ->
    ('c -> 'a -> 'b, 'index) F.t ->
    ('b, 'index) F.t)
    Preface_laws.Law.t

val selective_4 : 
  unit ->
  ('a ->
    'b,
    (('c, 'a) Stdlib.Either.t, 'index) F.t ->
    ('c -> 'a, 'index) F.t ->
    ('b, 'index) F.t)
    Preface_laws.Law.t

val selective_5 : 
  unit ->
  ('a ->
    'b,
    (('a, 'c) Stdlib.Either.t, 'index) F.t ->
    ('b -> 'c, 'index) F.t ->
    ('c, 'index) F.t)
    Preface_laws.Law.t

val selective_6 : 
  unit ->
  ('a ->
    'b ->
    'c,
    (('b, 'c) Stdlib.Either.t, 'index) F.t ->
    ('a, 'index) F.t ->
    ('c, 'index) F.t)
    Preface_laws.Law.t

val selective_7 : 
  unit ->
  ((('a, 'b) Stdlib.Either.t, 'index) F.t, ('a -> 'b) -> ('b, 'index) F.t)
    Preface_laws.Law.t