Id

public class Id<A> : IdOf<A>

The identity data type represents a context of having no effect on the type it wraps. A instance of Id<A> is isomorphic to an instance of A; it is just wrapped without any additional information.

  • Value wrapped in this Id.

    Declaration

    Swift

    public let value: A
  • Safe downcast.

    Declaration

    Swift

    public static func fix(_ fa: IdOf<A>) -> Id<A>

    Parameters

    fa

    Value in the higher-kind form.

    Return Value

    Value cast to Id.

  • Constructs a value of Id.

    Declaration

    Swift

    public init(_ value: A)

    Parameters

    value

    Value to be wrapped in Id.

  • Undocumented

    Declaration

    Swift

    public static func toPValue<B>() -> PIso<Id<A>, Id<B>, A, B>
  • Undocumented

    Declaration

    Swift

    public static func toValue() -> Iso<Id<A>, A>
  • Declaration

    Swift

    public var description: String { get }