Struct frunk_laws::wrapper::Wrapper [] [src]

pub struct Wrapper<A>(_);

The Wrapper NewType. Used for writing implementations of traits that we don't own for type we don't own.

Avoids the orphan typeclass instances problem in Haskell.

Trait Implementations

impl<A: Eq> Eq for Wrapper<A>
[src]

impl<A: PartialEq> PartialEq for Wrapper<A>
[src]

[src]

This method tests for self and other values to be equal, and is used by ==. Read more

[src]

This method tests for !=.

impl<A: PartialOrd> PartialOrd for Wrapper<A>
[src]

[src]

This method returns an ordering between self and other values if one exists. Read more

[src]

This method tests less than (for self and other) and is used by the < operator. Read more

[src]

This method tests less than or equal to (for self and other) and is used by the <= operator. Read more

[src]

This method tests greater than (for self and other) and is used by the > operator. Read more

[src]

This method tests greater than or equal to (for self and other) and is used by the >= operator. Read more

impl<A: Debug> Debug for Wrapper<A>
[src]

[src]

Formats the value using the given formatter.

impl<A: Clone> Clone for Wrapper<A>
[src]

[src]

Returns a copy of the value. Read more

1.0.0
[src]

Performs copy-assignment from source. Read more

impl<A: Hash> Hash for Wrapper<A>
[src]

[src]

Feeds this value into the given [Hasher]. Read more

1.3.0
[src]

Feeds a slice of this type into the given [Hasher]. Read more

impl<A: Arbitrary + Ord + Clone> Arbitrary for Wrapper<Max<A>>
[src]

[src]

[src]

impl<A: Arbitrary + Ord + Clone> Arbitrary for Wrapper<Min<A>>
[src]

[src]

[src]

impl<A: Arbitrary> Arbitrary for Wrapper<All<A>>
[src]

[src]

[src]

impl<A: Arbitrary> Arbitrary for Wrapper<Any<A>>
[src]

[src]

[src]

impl<A: Arbitrary> Arbitrary for Wrapper<Product<A>>
[src]

[src]

[src]

impl<A: Semigroup> Semigroup for Wrapper<A>
[src]

[src]

Associative operation taking which combines two values. Read more

impl<A: Monoid> Monoid for Wrapper<A>
[src]

[src]

For a given Monoid, returns its empty/zero value Read more