Hello all,
I have a question which I hope has a simple answer and will not embarass me too much. When working with functions like this one:
clockPeriod :: forall dom period. (KnownDomain dom, DomainPeriod dom ~ period) => SNat period
(taken from Clash, Clash.Signal)
Its return value depends upon the dom
type, but dom
is not actually a type parameter. Assuming I have multiple dom
s in scope, when calling this function, how can I specify which dom
I want used?
And does it have a name, a function that has a bound on a type that is not a type parameter?