mirror of
https://github.com/github/semantic.git
synced 2024-11-28 18:23:44 +03:00
13 lines
360 B
Haskell
13 lines
360 B
Haskell
data Bar a b c where
|
|
Baz :: a -> b -> c -> Bar a b c
|
|
|
|
data Bar f a where
|
|
Baz :: { jolo :: Maybe String, runJolo :: f a } -> Bar f a
|
|
|
|
data Bar a :: [*] -> [*] where
|
|
|
|
data Number' a where
|
|
Integer' :: !Prelude.Integer -> Number Prelude.Integer
|
|
Ratio' :: !Prelude.Rational -> Number Prelude.Rational
|
|
Decimal' :: !Scientific -> Number Scientific
|