require 'coffee-mate/global'
{instance} = require '../typeclass'
{match, show, samples, sample} = require '../typespec'

instance('TypeSpec')(Function).where
	shape: (spec) -> spec
	match: (spec) -> (v) ->
		v? and v.constructor is spec
	constraints: (spec) -> (v) -> [
		{
			label: -> "Non-Null Value Expected, But Got #{v}"
			flag: -> v?
		}
		{
			label: -> "Value with Constructor #{spec.name ? spec} Expected, But Got #{json v} with Constructor #{v.constructor.name ? v.constructor}"
			flag: -> v.constructor is spec
		}
	]
	show: (spec) ->
		spec.name or 'UnnamedType'
	samples: (spec) ->
		switch spec
			when Boolean
				concat repeat [true, false]
			when Number
				concat repeat [3.14, 9, 42]
			when String
				concat repeat ['abc', 'hello']
			else
				repeat (new spec)
	htmlInline: (spec) ->
		"<span class='type-maker'>#{show spec}</span>"