Package hydra.dsl.prims

Interface Maybes

public interface Maybes
DSL interface providing Maybe/Optional primitive operations for working with optional values.

  • Method Summary

    Static Methods
    Modifier and Type
    Method
    Description
    static Term
    apply()
    Returns a term representing the apply primitive operation for maybes.
    static Term
    bind()
    Returns a term representing the bind primitive operation for maybes.
    static Term
    map()
    Returns a term representing the map primitive operation for maybes.
    static Term
    pure()
    Returns a term representing the pure primitive operation for maybes.

  • Method Details

    • apply

      static Term apply()
      Returns a term representing the apply primitive operation for maybes.
      Returns:
      a term for applying a function in a maybe context

    • bind

      static Term bind()
      Returns a term representing the bind primitive operation for maybes.
      Returns:
      a term for monadic bind in a maybe context

    • map

      static Term map()
      Returns a term representing the map primitive operation for maybes.
      Returns:
      a term for mapping a function over a maybe value

    • pure

      static Term pure()
      Returns a term representing the pure primitive operation for maybes.
      Returns:
      a term for lifting a value into a maybe context