Packages

algae

1.2.0
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 ord.ex
Raw

lib/algae/free/ord.ex 

alias  Algae.Free.{Pure, Roll}

alias  Witchcraft.Ord

alias  TypeClass.Property.Generator



import Algae.Free

import TypeClass



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

  custom_generator(_) do

    1

    |> TypeClass.Property.Generator.generate()

    |> Algae.Free.new()

  end



  def compare(_, %Roll{}), do: :lesser

  def compare(%Pure{pure: a}, %Pure{pure: b}), do: Ord.compare(a, b)

end



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

  custom_generator(_) do

    inner = Algae.Id.new()

    seed  = Generator.generate(1)



    seed

    |> new()

    |> layer(inner)

    |> layer(inner)

  end



  def compare(%Roll{}, %Pure{}), do: :greater

  def compare(%Roll{roll: a}, %Roll{roll: b}), do: Ord.compare(a, b)

end