Const

public final class Const<A, T> : ConstOf<A, T>

Constant data type. Represents a container of two types, holding a value of the left type that remains constant, regardless of the transformation applied to it.

  • Constant value wrapped in this data type

    Declaration

    Swift

    public let value: A
  • Safe downcast.

    Declaration

    Swift

    public static func fix(_ fa: ConstOf<A, T>) -> Const<A, T>

    Parameters

    fa

    Value in the higher-kind form.

    Return Value

    Value cast to Const.

  • Initializes a constant value.

    Declaration

    Swift

    public init(_ value: A)

    Parameters

    value

    Constant value to be wrapped.

  • Changes the type of the right type argument associated to this constant value.

    Declaration

    Swift

    public func retag<U>() -> Const<A, U>

    Return Value

    The same wrapped value, changing the right type argument.

  • Provides an Iso to go from/to this type to its Kind version.

    Declaration

    Swift

    static var fixIso: Iso<Const<A, T>, ConstOf<A, T>> { get }
  • Provides a Fold based on the Foldable instance of this type.

    Declaration

    Swift

    static var fold: Fold<Const<A, T>, T> { get }
  • Provides a Traversal based on the Traverse instance of this type.

    Declaration

    Swift

    static var traversal: Traversal<Const<A, T>, T> { get }
  • Undocumented

    Declaration

    Swift

    public typealias EachFoci = T
  • Declaration

    Swift

    public static var each: Traversal<Const<A, T>, T> { get }
  • Declaration

    Swift

    public var description: String { get }
  • Declaration

    Swift

    public func combine(_ other: Const<A, T>) -> Const<A, T>
  • Declaration

    Swift

    public static func empty() -> Const<A, T>