witness-0.7: values that witness types

Safe Haskell	None
Language	GHC2021

Data.Type.Witness.General.WitnessValue

Documentation

class WitnessValue (w :: k -> Type) where Source #

Associated Types

type WitnessValueType (w :: k -> Type) Source #

Methods

witnessToValue :: forall (t :: k). w t -> WitnessValueType w Source #

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

Instances

Instances details

WitnessValue NaturalType Source #

Instance details

Defined in Data.Type.Witness.Specific.Natural

Associated Types

type WitnessValueType NaturalType
Instance details Defined in Data.Type.Witness.Specific.Natural type WitnessValueType NaturalType = Natural

Methods

witnessToValue :: forall (t :: Nat). NaturalType t -> WitnessValueType NaturalType Source #

valueToWitness :: WitnessValueType NaturalType -> (forall (t :: Nat). NaturalType t -> r) -> r Source #

WitnessValue PeanoNatType Source #

Instance details

Defined in Data.Type.Witness.Specific.PeanoNat

Associated Types

type WitnessValueType PeanoNatType
Instance details Defined in Data.Type.Witness.Specific.PeanoNat type WitnessValueType PeanoNatType = PeanoNat

Methods

witnessToValue :: forall (t :: PeanoNat). PeanoNatType t -> WitnessValueType PeanoNatType Source #

valueToWitness :: WitnessValueType PeanoNatType -> (forall (t :: PeanoNat). PeanoNatType t -> r) -> r Source #

WitnessValue SymbolType Source #

Instance details

Defined in Data.Type.Witness.Specific.Symbol

Associated Types

type WitnessValueType SymbolType
Instance details Defined in Data.Type.Witness.Specific.Symbol type WitnessValueType SymbolType = String

Methods

witnessToValue :: forall (t :: Symbol). SymbolType t -> WitnessValueType SymbolType Source #

valueToWitness :: WitnessValueType SymbolType -> (forall (t :: Symbol). SymbolType t -> r) -> r Source #

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

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