SevanBadal/vector-gadt.hs

Created February 15, 2023 17:04

Star () You must be signed in to star a gist
Fork () You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/SevanBadal/2b6b062c212c342cc2b7717159a17fc7.js"></script>
Save SevanBadal/2b6b062c212c342cc2b7717159a17fc7 to your computer and use it in GitHub Desktop.

Download ZIP

Haskell GADT w/ type class constraint deriving Show

Raw

vector-gadt.hs

	data Vector a where
	Vector :: (Num a) => a -> a -> a -> Vector a
	deriving instance Show a => Show (Vector a)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment