Data.Parameterized.Some

This module provides Some, a GADT that hides a type parameter.

Documentation

data Some (f :: k -> *)

Constructors

Some (f x)

Instances

TestEquality k f => Eq (Some k f)

Methods

(==) :: Some k f -> Some k f -> Bool

(/=) :: Some k f -> Some k f -> Bool

OrdF k f => Ord (Some k f)

Methods

compare :: Some k f -> Some k f -> Ordering

(<) :: Some k f -> Some k f -> Bool

(<=) :: Some k f -> Some k f -> Bool

(>) :: Some k f -> Some k f -> Bool

(>=) :: Some k f -> Some k f -> Bool

max :: Some k f -> Some k f -> Some k f

min :: Some k f -> Some k f -> Some k f

ShowF k f => Show (Some k f)

Methods

showsPrec :: Int -> Some k f -> ShowS

show :: Some k f -> String

showList :: [Some k f] -> ShowS

HashableF k f => Hashable (Some k f)

Methods

hashWithSalt :: Int -> Some k f -> Int

hash :: Some k f -> Int

viewSome :: (forall tp. f tp -> r) -> Some f -> r

Project out of Some.

mapSome :: (forall tp. f tp -> g tp) -> Some f -> Some g

Apply function to inner value.

traverseSome :: Functor m => (forall tp. f tp -> m (g tp)) -> Some f -> m (Some g)

Modify the inner value.

traverseSome_ :: Functor m => (forall tp. f tp -> m ()) -> Some f -> m ()

Modify the inner value.