Data.Type.Witness.General.WitnessValue

Documentation

class WitnessValue w where

Associated Types

type WitnessValueType w :: Type

Methods

witnessToValue :: forall t. w t -> WitnessValueType w

valueToWitness :: forall r. WitnessValueType w -> (forall t. w t -> r) -> r

Instances

WitnessValue NaturalType

Defined in Data.Type.Witness.Specific.Natural

Associated Types

type WitnessValueType NaturalType

Methods

witnessToValue :: forall (t :: k). NaturalType t -> WitnessValueType NaturalType

valueToWitness :: WitnessValueType NaturalType -> (forall (t :: k). NaturalType t -> r) -> r

WitnessValue PeanoNatType

Defined in Data.Type.Witness.Specific.PeanoNat

Associated Types

type WitnessValueType PeanoNatType

Methods

witnessToValue :: forall (t :: k). PeanoNatType t -> WitnessValueType PeanoNatType

valueToWitness :: WitnessValueType PeanoNatType -> (forall (t :: k). PeanoNatType t -> r) -> r

WitnessValue SymbolType

Defined in Data.Type.Witness.Specific.Symbol

Associated Types

type WitnessValueType SymbolType

Methods

witnessToValue :: forall (t :: k). SymbolType t -> WitnessValueType SymbolType

valueToWitness :: WitnessValueType SymbolType -> (forall (t :: k). SymbolType t -> r) -> r

someToValue :: forall k (w :: k -> Type). WitnessValue w => Some w -> WitnessValueType w

valueToSome :: forall k (w :: k -> Type). WitnessValue w => WitnessValueType w -> Some w