Link Search Menu Expand Document
fp-ts-numerics

HasFromRational overview

Added in v1.0.0

Table of contents

utils

HasFromRational (interface)

The dual of [[HasToRational]]. Should satisfy

fromRational(toRational(a)) = a

Signature

export interface HasFromRational<A> extends Ord<A> {
  /**
   * @internal
   */
  readonly [HAS_FROM_RATIONAL]: typeof HAS_FROM_RATIONAL
  /**
   * @since 1.0.0
   */
  fromRational(r: Rational): A
}

Added in v1.0.0

instanceHasFromRational

Instance constructor for the HasFromRational typeclass

Signature

export declare function instanceHasFromRational<A>(e: Methods<A>): HasFromRational<A>

Added in v1.0.0