conversions-0.0.4: Injective explicit total and partial conversions
Safe HaskellNone
LanguageHaskell2010

Data.Conversions.FromType

Description

Conversions from type-level values

Documentation

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

Methods

fromType :: b Source #

Instances

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 #