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.

  • Undocumented

    Declaration

    Swift

    public let value: A

  • Safe downcast to Id<A>.

    Declaration

    Swift

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

  • Constructs a value of Id<A> given a value of A.

    Declaration

    Swift

    public init(_ value: A)

    Parameters

    value

    Value to be wrapped in Id<A>.

  • 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>

Protocol conformances

  • Declaration

    Swift

    public var description: String { get }

Protocol conformances

  • Declaration

    Swift

    public var debugDescription: String { get }