minotaur.ex

import TypeClass

defmodule Minotaur do
  defstruct name: ""
end

defimpl TypeClass.Property.Generator, for: Minotaur do
  def generate(_), do: %Minotaur{name: "#{:crypto.strong_rand_bytes(2)}"}
end

definst Witchcraft.Semigroup, for: Minotaur do
  def append(%Minotaur{name: a}, %Minotaur{name: b}), do: %Minotaur{name: "#{b} II, son of #{a}"}
end

definst Witchcraft.Monoid, for: Minotaur do
  def empty(_), do: %Minotaur{}
end