Packages

algae

1.2.3
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 generator.ex
Raw

lib/algae/free/generator.ex 

alias  Algae.Free.Pure

alias  TypeClass.Property.Generator



import Algae.Free



defimpl TypeClass.Property.Generator, for: Algae.Free.Pure do

  def generate(_) do

    [1, 1.1, "", []]

    |> Enum.random()

    |> Generator.generate()

    |> Pure.new()

  end

end



defimpl TypeClass.Property.Generator, for: Algae.Free.Roll do

  def generate(_) do

    inner = Algae.Id.new()



    seed =

      [1, 1.1, "", []]

      |> Enum.random()

      |> Generator.generate()



    seed

    |> new()

    |> layer(inner)

    |> layer(inner)

  end

end