package mugen

  1. Overview
  2. Docs

Module Shift.PrefixSource

Prefix displacements.

Parameters

Signature

include S
include StructuredType.PartiallyOrderedType
include StructuredType.EqualityType
Sourcetype t

The type.

Sourceval equal : t -> t -> bool

equal x y checks whether x and y are equivalent.

Sourceval dump : Format.formatter -> t -> unit

Ugly printer.

Sourceval lt : t -> t -> bool

lt x y checks if x is strictly less than y. Note that trichotomy fails for general partial orders.

Sourceval leq : t -> t -> bool

leq x y checks if x is less than or equal to y. Note that trichotomy fails for general partial orders.

Sourceval id : t

id is the unit.

Sourceval is_id : t -> bool

is_id s checks whether s is the unit. It is equivalent to equal id s, but potentially faster.

Sourceval compose : t -> t -> t

compose s1 s2 composes the operators s1 and s2. Note that Foo^s1^s2 in McBride's notation is understood as compose (compose ... s2) s1 with the reversed order.

Sourceval prepend : Base.t -> t -> t

Prepend a symbol to a displacement.

Sourceval to_list : t -> Base.t list

Conversion to a list

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct