Safe Haskell	None
Language	Haskell2010

Data.Conversions.FromType

Description

Conversions from type-level values

Documentation

class FromType a (b :: Type) where Source #

Methods

Instances details

KnownNat nat => FromType (nat :: Nat) Natural Source #
Instance details Defined in Data.Conversions.FromType Methods fromType :: Natural Source #
KnownSymbol symbol => FromType (symbol :: Symbol) Text Source #
Instance details Defined in Data.Conversions.FromType Methods fromType :: Text Source #
KnownSymbol symbol => FromType (symbol :: Symbol) String Source #
Instance details Defined in Data.Conversions.FromType Methods fromType :: String Source #