Safe Haskell	None
Language	Haskell2010

Graph.Trace.Internal.RuntimeRep

Synopsis

class LPId (r :: RuntimeRep) where
- lpId :: forall (a :: TYPE r). a -> a

Documentation

class LPId (r :: RuntimeRep) where Source #

Levity polymorphic id function. Doesn't cover all runtime reps, in particular unboxed products and sums. Handles linearity as well.

Methods

lpId :: forall (a :: TYPE r). a -> a Source #

Instances

Instances details

LPId 'LiftedRep Source #
Instance details Defined in Graph.Trace.Internal.RuntimeRep Methods lpId :: forall (a :: TYPE 'LiftedRep). a -> a Source #
LPId 'UnliftedRep Source #
Instance details Defined in Graph.Trace.Internal.RuntimeRep Methods lpId :: forall (a :: TYPE 'UnliftedRep). a -> a Source #
LPId 'IntRep Source #
Instance details Defined in Graph.Trace.Internal.RuntimeRep Methods lpId :: forall (a :: TYPE 'IntRep). a -> a Source #
LPId 'Int8Rep Source #
Instance details Defined in Graph.Trace.Internal.RuntimeRep Methods lpId :: forall (a :: TYPE 'Int8Rep). a -> a Source #
LPId 'Int16Rep Source #
Instance details Defined in Graph.Trace.Internal.RuntimeRep Methods lpId :: forall (a :: TYPE 'Int16Rep). a -> a Source #
LPId 'Int32Rep Source #
Instance details Defined in Graph.Trace.Internal.RuntimeRep Methods lpId :: forall (a :: TYPE 'Int32Rep). a -> a Source #
LPId 'Int64Rep Source #
Instance details Defined in Graph.Trace.Internal.RuntimeRep Methods lpId :: forall (a :: TYPE 'Int64Rep). a -> a Source #
LPId 'WordRep Source #
Instance details Defined in Graph.Trace.Internal.RuntimeRep Methods lpId :: forall (a :: TYPE 'WordRep). a -> a Source #
LPId 'Word8Rep Source #
Instance details Defined in Graph.Trace.Internal.RuntimeRep Methods lpId :: forall (a :: TYPE 'Word8Rep). a -> a Source #
LPId 'Word16Rep Source #
Instance details Defined in Graph.Trace.Internal.RuntimeRep Methods lpId :: forall (a :: TYPE 'Word16Rep). a -> a Source #
LPId 'Word32Rep Source #
Instance details Defined in Graph.Trace.Internal.RuntimeRep Methods lpId :: forall (a :: TYPE 'Word32Rep). a -> a Source #
LPId 'Word64Rep Source #
Instance details Defined in Graph.Trace.Internal.RuntimeRep Methods lpId :: forall (a :: TYPE 'Word64Rep). a -> a Source #
LPId 'AddrRep Source #
Instance details Defined in Graph.Trace.Internal.RuntimeRep Methods lpId :: forall (a :: TYPE 'AddrRep). a -> a Source #
LPId 'FloatRep Source #
Instance details Defined in Graph.Trace.Internal.RuntimeRep Methods lpId :: forall (a :: TYPE 'FloatRep). a -> a Source #
LPId 'DoubleRep Source #
Instance details Defined in Graph.Trace.Internal.RuntimeRep Methods lpId :: forall (a :: TYPE 'DoubleRep). a -> a Source #