Searched refs:magicNSS (Results 1 – 4 of 4) sorted by relevance
53 magicNSS :: forall n m o. (Int -> String -> String) -> (KnownNat n, KnownSymbol m) :- KnownSymbol o54 magicNSS f = Sub $ unsafeCoerce (Magic Dict) (fromIntegral (natVal (Proxy :: Proxy n)) `f` symbolVa… function80 takeSymbol = magicNSS take83 dropSymbol = magicNSS drop
62 magicNSS :: forall n m o. (Int -> String -> String) -> (KnownNat n, KnownSymbol m) :- KnownSymbol o63 magicNSS f = Sub $ unsafeCoerce (Magic Dict) (fromIntegral (natVal (Proxy :: Proxy n)) `f` symbolVa… function99 takeSymbol = magicNSS take102 dropSymbol = magicNSS drop