Packages

algae

1.2.1
1.3.1 1.3.0 1.2.5 1.2.4 1.2.3 1.2.2 1.2.1 1.2.0 1.1.0 1.0.0 0.12.2 0.12.1 0.12.0 0.11.0 0.10.0 0.9.1 0.9.0 0.8.0 0.7.0 0.6.1 0.6.0 0.5.2 0.5.1

Bootstrapped algebraic data types for Elixir

HexDocs

Current section

Files

Jump to
Readme
23 Versions
3 Dependencies
Dependants
Files
Activity
algae lib algae free setoid.ex
Raw

lib/algae/free/setoid.ex 

alias  Algae.Free.{Pure, Roll}

alias  Witchcraft.Setoid

alias  TypeClass.Property.Generator



import Algae.Free

import TypeClass



definst Witchcraft.Setoid, for: Algae.Free.Pure do

  custom_generator(_) do

    1

    |> Generator.generate()

    |> Pure.new()

  end



  def equivalent?(_, %Roll{}), do: false

  def equivalent?(%Pure{pure: a}, %Pure{pure: b}), do: Setoid.equivalent?(a, b)

end



definst Witchcraft.Setoid, for: Algae.Free.Roll do

  custom_generator(_) do

    inner = Algae.Id.new()

    seed  = Generator.generate(1)



    seed

    |> new()

    |> layer(inner)

    |> layer(inner)

  end



  def equivalent?(_, %Pure{}), do: false

  def equivalent?(%Roll{roll: a}, %Roll{roll: b}), do: Setoid.equivalent?(a, b)

end