package kappa-library

You can search for identifiers within the package.

in-package search v0.2.0

Public internals of the Kappa tool suite. Use this package to use kappa as a lib

Install

Dune Dependency

kappalanguage.org Readme Changelog Edit opam file Versions (2)

Authors

Maintainers

Sources

v4.1.3.tar.gz

md5=1c9a8a0d79f085757817f90834e166f5

sha512=13ac40442940ba6e72d7dc5bf952e67443872f7bff63e9c76a3a699a6904c88696047fe04519b7ec6546371642f6ee7b0983117be302694aca15500b0df40de3

doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj/index.html

Module `SetMap.Proj`Source

Parameters

module A : S

module B : S

Signature

Sourcetype elt_a = A.elt

Sourcetype elt_b = B.elt

Sourcetype 'a map_a = 'a A.Map.t

Sourcetype 'a map_b = 'a B.Map.t

Sourcetype set_a

Sourcetype set_b

Source

val proj_map : 
  (elt_a -> elt_b) ->
  'b ->
  ('b -> 'a -> 'b) ->
  'a map_a ->
  'b map_b

proj_map f init merge map is a map mapping each element b to the result of the itteration of the function merge over the image in map of the element a in f such that f(a)=b, starting with the element init.

Source

val proj_map_monadic : 
  'parameters ->
  'exceptions_caught_and_uncaught ->
  (elt_a -> elt_b) ->
  'b ->
  ('parameters ->
    'exceptions_caught_and_uncaught ->
    'b ->
    'a ->
    'exceptions_caught_and_uncaught * 'b) ->
  'a map_a ->
  'exceptions_caught_and_uncaught * 'b map_b

Sourceval proj_set : (elt_a -> elt_b) -> set_a -> set_b

proj_set f set is the set {f(a) | a\in S}

Source

val proj_set_monadic : 
  'parameters ->
  'exceptions_caught_and_uncaught ->
  ('parameters ->
    'exceptions_caught_and_uncaught ->
    elt_a ->
    'exceptions_caught_and_uncaught * elt_b) ->
  set_a ->
  'exceptions_caught_and_uncaught * set_b

Sourceval partition_set : (elt_a -> elt_b) -> set_a -> set_a map_b

partition_set f set is the map mapping any element b with an antecedent for f in the set set, into the set of its antecedents, ie to the set {a\in set | f(a)=b}.

Source

val partition_set_monadic : 
  'parameters ->
  'exceptions_caught_and_uncaught ->
  ('parameters ->
    'exceptions_caught_and_uncaught ->
    elt_a ->
    'exceptions_caught_and_uncaught * elt_b) ->
  set_a ->
  'exceptions_caught_and_uncaught * set_a map_b

On This Page

Parameters
Signature

package kappa-library

Install

Dune Dependency

Authors

Maintainers

Sources

doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj/index.html

Module SetMap.ProjSource

Parameters

Signature

Module `SetMap.Proj`Source