require 'coffee-mate/global'
{instance} = require '../typeclass'

#`function Value(ls){
#	return {
#		constructor: Value,
#		value: ls
#	}
#}`

class Value
	constructor: (v) ->
		unless v?
			throw Error "Bad Value Type Definition: Non-null Value Expected, But Got #{v}"

		return {
			constructor: Value
			value: v
		}

instance('TypeSpec')(Value).where
	shape: (spec) -> spec
	match: ({value}) -> (v) -> v is value
	show: ({value}) ->
		"#{json value}"
	samples: ({value}) ->
		repeat value
	htmlInline: ({value}) ->
		"<span class='type-maker unwrapped'>Value #{json value}</span>"

module.exports = {Value}