Home
last modified time | relevance | path

Searched refs:magicNSS (Results 1 – 4 of 4) sorted by relevance

/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/constraints-0.12/src/Data/Constraint/
H A DSymbol.hs53 magicNSS :: forall n m o. (Int -> String -> String) -> (KnownNat n, KnownSymbol m) :- KnownSymbol o
54 magicNSS f = Sub $ unsafeCoerce (Magic Dict) (fromIntegral (natVal (Proxy :: Proxy n)) `f` symbolVa… function
80 takeSymbol = magicNSS take
83 dropSymbol = magicNSS drop
/dports/devel/hs-darcs/darcs-2.16.4/_cabal_deps/constraints-0.12/src/Data/Constraint/
H A DSymbol.hs53 magicNSS :: forall n m o. (Int -> String -> String) -> (KnownNat n, KnownSymbol m) :- KnownSymbol o
54 magicNSS f = Sub $ unsafeCoerce (Magic Dict) (fromIntegral (natVal (Proxy :: Proxy n)) `f` symbolVa… function
80 takeSymbol = magicNSS take
83 dropSymbol = magicNSS drop
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/constraints-0.13/src/Data/Constraint/
H A DSymbol.hs62 magicNSS :: forall n m o. (Int -> String -> String) -> (KnownNat n, KnownSymbol m) :- KnownSymbol o
63 magicNSS f = Sub $ unsafeCoerce (Magic Dict) (fromIntegral (natVal (Proxy :: Proxy n)) `f` symbolVa… function
99 takeSymbol = magicNSS take
102 dropSymbol = magicNSS drop
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/constraints-0.13/src/Data/Constraint/
H A DSymbol.hs62 magicNSS :: forall n m o. (Int -> String -> String) -> (KnownNat n, KnownSymbol m) :- KnownSymbol o
63 magicNSS f = Sub $ unsafeCoerce (Magic Dict) (fromIntegral (natVal (Proxy :: Proxy n)) `f` symbolVa… function
99 takeSymbol = magicNSS take
102 dropSymbol = magicNSS drop