:: a typeCtrl KGHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27
Modulefcf-containers-0.8.2Haskell2010
Helpers to get results from type-level computations into the fromType-level.
Deprecated. Replaced with KnownVal
Reflect a list of Nats
Note that you may also use the KnownVal methods given below.
This method is taken from https://hackage.haskell.org/package/numhask-array-0.10.1/docs/src/NumHask.Array.Shape.html#natVals
:{afun :: forall n. (n ~ '[1,2,3,4]) => [Int] afun = natVals @n Proxy :}
afunKnownVal Bool 'FalseDefined in fcf-containers-0.8.2 · Fcf.Data.ReflectKnownVal Bool 'TrueDefined in fcf-containers-0.8.2 · Fcf.Data.ReflectKnownVal () '()Defined in fcf-containers-0.8.2 · Fcf.Data.Reflect(IsString str, Typeable typ) => KnownVal str typDefined in fcf-containers-0.8.2 · Fcf.Data.Reflect(IsString str, KnownSymbol s) => KnownVal str sDefined in fcf-containers-0.8.2 · Fcf.Data.Reflect(KnownNat n, Num a) => KnownVal a nDefined in fcf-containers-0.8.2 · Fcf.Data.Reflect(IsString str, KnownSymbol sym) => KnownVal str ('Text sym)Defined in fcf-containers-0.8.2 · Fcf.Data.ReflectText instance.
import qualified Data.Text as Txt
:{afun :: forall r. (r ~ 'FTxt.Text "hmm") => Txt.Text afun = fromType (Proxy @r) :}
afun"hmm"
(IsString str, KnownSymbol sym) => KnownVal str ('Text sym)Defined in fcf-containers-0.8.2 · Fcf.Data.Reflect(IsString str, KnownVal str err1, KnownVal str err2, Semigroup str) => KnownVal str (err1 ':$$: err2)Defined in fcf-containers-0.8.2 · Fcf.Data.Reflect(IsString str, KnownVal str err1, KnownVal str err2, Semigroup str) => KnownVal str (err1 ':<>: err2)Defined in fcf-containers-0.8.2 · Fcf.Data.Reflect(IsString str, Typeable typ) => KnownVal str ('ShowType typ)Defined in fcf-containers-0.8.2 · Fcf.Data.ReflectKnownVal [(Int, val)] pairs => KnownVal (IntMap val) pairsDefined in fcf-containers-0.8.2 · Fcf.Data.Reflect(Ord val, KnownVal [val] kind) => KnownVal (Set val) kindDefined in fcf-containers-0.8.2 · Fcf.Data.ReflectKnownVal (Maybe a1) 'NothingDefined in fcf-containers-0.8.2 · Fcf.Data.ReflectKnownVal [a2] '[]Defined in fcf-containers-0.8.2 · Fcf.Data.ReflectKnownVal [(Int, val)] pairs => KnownVal (IntMap val) ('NatMap pairs)Defined in fcf-containers-0.8.2 · Fcf.Data.ReflectKnownVal a2 a3 => KnownVal (Maybe a2) ('Just a3)Defined in fcf-containers-0.8.2 · Fcf.Data.Reflect(Ord val, KnownVal [val] kind) => KnownVal (Set val) ('Set kind)Defined in fcf-containers-0.8.2 · Fcf.Data.Reflect(KnownVal val k, KnownVal (Forest val) trees) => KnownVal (Tree val) ('Node k trees)Defined in fcf-containers-0.8.2 · Fcf.Data.Reflect(KnownVal val x, KnownVal [val] xs) => KnownVal [val] (x ': xs)Defined in fcf-containers-0.8.2 · Fcf.Data.Reflect(Ord key, KnownVal [(key, val)] pairs) => KnownVal (Map key val) pairsDefined in fcf-containers-0.8.2 · Fcf.Data.ReflectKnownVal a2 a3 => KnownVal (Either a2 b1) ('Left a3)Defined in fcf-containers-0.8.2 · Fcf.Data.ReflectKnownVal b2 b3 => KnownVal (Either a1 b2) ('Right b3)Defined in fcf-containers-0.8.2 · Fcf.Data.Reflect(Ord key, KnownVal [(key, val)] pairs) => KnownVal (Map key val) ('MapC pairs)Defined in fcf-containers-0.8.2 · Fcf.Data.Reflect(KnownVal a1 a, KnownVal b1 b) => KnownVal (a1, b1) '(a, b)Defined in fcf-containers-0.8.2 · Fcf.Data.Reflect(KnownVal a1 a, KnownVal b1 b, KnownVal c1 c) => KnownVal (a1, b1, c1) '(a, b, c)Defined in fcf-containers-0.8.2 · Fcf.Data.Reflect(KnownVal a1 a, KnownVal b1 b, KnownVal c1 c, KnownVal d1 d) => KnownVal (a1, b1, c1, d1) '(a, b, c, d)Defined in fcf-containers-0.8.2 · Fcf.Data.Reflect(KnownVal a1 a, KnownVal b1 b, KnownVal c1 c, KnownVal d1 d, KnownVal e1 e) => KnownVal (a1, b1, c1, d1, e1) '(a, b, c, d, e)Defined in fcf-containers-0.8.2 · Fcf.Data.Reflect