Data.Tuple.Unboxed.Rep

This module provides an ad-hoc polymorphic alternative to the functions in Data.Tuple.Unboxed. The functions have the same basic signature, but using GHC 8.0+ features they are made parametrically polymorphic within each fixed representation/calling convention.

This module defines instances for all calling conventions that have ever come up in GHC.Prim but in principle other cases could be added too.

Documentation

class RepCompose1 (r0 :: RuntimeRep) (r1 :: RuntimeRep) where

Methods

repCompose1 :: forall (a :: TYPE r0) (b :: TYPE r1) (r :: *). (a -> (#b#)) -> a -> (b -> r) -> r

repDecompose1 :: forall (a :: TYPE r0) (b :: TYPE r1) (r :: *). (a -> (b -> (#b#)) -> (#b#)) -> a -> (#b#)

Instances

RepCompose1 LiftedRep LiftedRep

Defined in Data.Tuple.Unboxed.Rep

Methods

repCompose1 :: (a -> (#b#)) -> a -> (b -> r) -> r

repDecompose1 :: (a -> (b -> (#b#)) -> (#b#)) -> a -> (#b#)

RepCompose1 UnliftedRep LiftedRep

Defined in Data.Tuple.Unboxed.Rep

Methods

repCompose1 :: (a -> (#b#)) -> a -> (b -> r) -> r

repDecompose1 :: (a -> (b -> (#b#)) -> (#b#)) -> a -> (#b#)

RepCompose1 IntRep LiftedRep

Defined in Data.Tuple.Unboxed.Rep

Methods

repCompose1 :: (a -> (#b#)) -> a -> (b -> r) -> r

repDecompose1 :: (a -> (b -> (#b#)) -> (#b#)) -> a -> (#b#)

RepCompose1 WordRep LiftedRep

Defined in Data.Tuple.Unboxed.Rep

Methods

repCompose1 :: (a -> (#b#)) -> a -> (b -> r) -> r

repDecompose1 :: (a -> (b -> (#b#)) -> (#b#)) -> a -> (#b#)

RepCompose1 AddrRep LiftedRep

Defined in Data.Tuple.Unboxed.Rep

Methods

repCompose1 :: (a -> (#b#)) -> a -> (b -> r) -> r

repDecompose1 :: (a -> (b -> (#b#)) -> (#b#)) -> a -> (#b#)

class RepCompose2 (r0 :: RuntimeRep) (r1 :: RuntimeRep) (r2 :: RuntimeRep) where

Methods

repCompose2 :: forall (a :: TYPE r0) (b :: TYPE r1) (c :: TYPE r2) (r :: *). (a -> (#b, c#)) -> a -> (b -> c -> r) -> r

repDecompose2 :: forall (a :: TYPE r0) (b :: TYPE r1) (c :: TYPE r2) (r :: *). (a -> (b -> c -> (#b, c#)) -> (#b, c#)) -> a -> (#b, c#)

Instances

RepCompose2 LiftedRep UnliftedRep UnliftedRep

Defined in Data.Tuple.Unboxed.Rep

Methods

repCompose2 :: (a -> (#b, c#)) -> a -> (b -> c -> r) -> r

repDecompose2 :: (a -> (b -> c -> (#b, c#)) -> (#b, c#)) -> a -> (#b, c#)

RepCompose2 UnliftedRep IntRep UnliftedRep

Defined in Data.Tuple.Unboxed.Rep

Methods

repCompose2 :: (a -> (#b, c#)) -> a -> (b -> c -> r) -> r

repDecompose2 :: (a -> (b -> c -> (#b, c#)) -> (#b, c#)) -> a -> (#b, c#)

RepCompose2 IntRep IntRep LiftedRep

Defined in Data.Tuple.Unboxed.Rep

Methods

repCompose2 :: (a -> (#b, c#)) -> a -> (b -> c -> r) -> r

repDecompose2 :: (a -> (b -> c -> (#b, c#)) -> (#b, c#)) -> a -> (#b, c#)

RepCompose2 IntRep IntRep UnliftedRep

Defined in Data.Tuple.Unboxed.Rep

Methods

repCompose2 :: (a -> (#b, c#)) -> a -> (b -> c -> r) -> r

repDecompose2 :: (a -> (b -> c -> (#b, c#)) -> (#b, c#)) -> a -> (#b, c#)

RepCompose2 IntRep IntRep IntRep

Defined in Data.Tuple.Unboxed.Rep

Methods

repCompose2 :: (a -> (#b, c#)) -> a -> (b -> c -> r) -> r

repDecompose2 :: (a -> (b -> c -> (#b, c#)) -> (#b, c#)) -> a -> (#b, c#)

RepCompose2 WordRep IntRep UnliftedRep

Defined in Data.Tuple.Unboxed.Rep

Methods

repCompose2 :: (a -> (#b, c#)) -> a -> (b -> c -> r) -> r

repDecompose2 :: (a -> (b -> c -> (#b, c#)) -> (#b, c#)) -> a -> (#b, c#)

RepCompose2 WordRep WordRep IntRep

Defined in Data.Tuple.Unboxed.Rep

Methods

repCompose2 :: (a -> (#b, c#)) -> a -> (b -> c -> r) -> r

repDecompose2 :: (a -> (b -> c -> (#b, c#)) -> (#b, c#)) -> a -> (#b, c#)

RepCompose2 WordRep WordRep WordRep

Defined in Data.Tuple.Unboxed.Rep

Methods

repCompose2 :: (a -> (#b, c#)) -> a -> (b -> c -> r) -> r

repDecompose2 :: (a -> (b -> c -> (#b, c#)) -> (#b, c#)) -> a -> (#b, c#)

RepCompose2 AddrRep IntRep UnliftedRep

Defined in Data.Tuple.Unboxed.Rep

Methods

repCompose2 :: (a -> (#b, c#)) -> a -> (b -> c -> r) -> r

repDecompose2 :: (a -> (b -> c -> (#b, c#)) -> (#b, c#)) -> a -> (#b, c#)

RepCompose2 FloatRep IntRep IntRep

Defined in Data.Tuple.Unboxed.Rep

Methods

repCompose2 :: (a -> (#b, c#)) -> a -> (b -> c -> r) -> r

repDecompose2 :: (a -> (b -> c -> (#b, c#)) -> (#b, c#)) -> a -> (#b, c#)

RepCompose2 DoubleRep IntRep IntRep

Defined in Data.Tuple.Unboxed.Rep

Methods

repCompose2 :: (a -> (#b, c#)) -> a -> (b -> c -> r) -> r

repDecompose2 :: (a -> (b -> c -> (#b, c#)) -> (#b, c#)) -> a -> (#b, c#)

class RepCompose3 (r0 :: RuntimeRep) (r1 :: RuntimeRep) (r2 :: RuntimeRep) (r3 :: RuntimeRep) where

Methods

repCompose3 :: forall (a :: TYPE r0) (b :: TYPE r1) (c :: TYPE r2) (d :: TYPE r3) (r :: *). (a -> (#b, c, d#)) -> a -> (b -> c -> d -> r) -> r

repDecompose3 :: forall (a :: TYPE r0) (b :: TYPE r1) (c :: TYPE r2) (d :: TYPE r3) (r :: *). (a -> (b -> c -> d -> (#b, c, d#)) -> (#b, c, d#)) -> a -> (#b, c, d#)

Instances

RepCompose3 LiftedRep AddrRep UnliftedRep UnliftedRep

Defined in Data.Tuple.Unboxed.Rep

Methods

repCompose3 :: (a -> (#b, c, d#)) -> a -> (b -> c -> d -> r) -> r

repDecompose3 :: (a -> (b -> c -> d -> (#b, c, d#)) -> (#b, c, d#)) -> a -> (#b, c, d#)

RepCompose3 IntRep IntRep IntRep IntRep

Defined in Data.Tuple.Unboxed.Rep

Methods

repCompose3 :: (a -> (#b, c, d#)) -> a -> (b -> c -> d -> r) -> r

repDecompose3 :: (a -> (b -> c -> d -> (#b, c, d#)) -> (#b, c, d#)) -> a -> (#b, c, d#)

RepCompose3 FloatRep IntRep IntRep UnliftedRep

Defined in Data.Tuple.Unboxed.Rep

Methods

repCompose3 :: (a -> (#b, c, d#)) -> a -> (b -> c -> d -> r) -> r

repDecompose3 :: (a -> (b -> c -> d -> (#b, c, d#)) -> (#b, c, d#)) -> a -> (#b, c, d#)

RepCompose3 DoubleRep IntRep IntRep UnliftedRep

Defined in Data.Tuple.Unboxed.Rep

Methods

repCompose3 :: (a -> (#b, c, d#)) -> a -> (b -> c -> d -> r) -> r

repDecompose3 :: (a -> (b -> c -> d -> (#b, c, d#)) -> (#b, c, d#)) -> a -> (#b, c, d#)

RepCompose3 DoubleRep IntRep IntRep IntRep

Defined in Data.Tuple.Unboxed.Rep

Methods

repCompose3 :: (a -> (#b, c, d#)) -> a -> (b -> c -> d -> r) -> r

repDecompose3 :: (a -> (b -> c -> d -> (#b, c, d#)) -> (#b, c, d#)) -> a -> (#b, c, d#)

class RepCompose4 (r0 :: RuntimeRep) (r1 :: RuntimeRep) (r2 :: RuntimeRep) (r3 :: RuntimeRep) (r4 :: RuntimeRep) where

Methods

repCompose4 :: forall (a :: TYPE r0) (b :: TYPE r1) (c :: TYPE r2) (d :: TYPE r3) (e :: TYPE r4) (r :: *). (a -> (#b, c, d, e#)) -> a -> (b -> c -> d -> e -> r) -> r

repDecompose4 :: forall (a :: TYPE r0) (b :: TYPE r1) (c :: TYPE r2) (d :: TYPE r3) (e :: TYPE r4) (r :: *). (a -> (b -> c -> d -> e -> (#b, c, d, e#)) -> (#b, c, d, e#)) -> a -> (#b, c, d, e#)

Instances

RepCompose4 UnliftedRep IntRep UnliftedRep IntRep UnliftedRep

Defined in Data.Tuple.Unboxed.Rep

Methods

repCompose4 :: (a -> (#b, c, d, e#)) -> a -> (b -> c -> d -> e -> r) -> r

repDecompose4 :: (a -> (b -> c -> d -> e -> (#b, c, d, e#)) -> (#b, c, d, e#)) -> a -> (#b, c, d, e#)

RepCompose4 DoubleRep IntRep WordRep WordRep IntRep

Defined in Data.Tuple.Unboxed.Rep

Methods

repCompose4 :: (a -> (#b, c, d, e#)) -> a -> (b -> c -> d -> e -> r) -> r

repDecompose4 :: (a -> (b -> c -> d -> e -> (#b, c, d, e#)) -> (#b, c, d, e#)) -> a -> (#b, c, d, e#)