algae

algae copied to clipboard

Either issues

1

Currently, the way Either is implement, there is no way to unwrap it while handling the left value other than a raw case statement. There's no way to fold both...

AHBruns

This code fails to compile with the following error: `(UndefinedFunctionError) function DateTime.new/0 is undefined or private`. ```elixir defmodule A do import TypeClass defdata do time :: DateTime.t() end end ```

florius0

Clarification on `Algae.Free` usage

1

Im not sure if issues is a correct place to request help, however I'm trying to understand `Algae.Free` and it isn't as easy as it might be There is [link...

florius0

It is unclear how to make data types with a type variable

1

Examples in plain Elixir: - [Maybe](https://github.com/serokellcao/etypes/blob/master/lib/etypes/types.ex#L6) - [Phantom](https://github.com/serokellcao/etypes/blob/master/lib/phantom.ex#L10) Would be cool to do the same with `Either`/[`Result`](https://github.com/doma-engineering/cluster/blob/main/lib/uptight/result.ex#L14).

cognivore

Cant initialize wrapper via constructor

5

Following the example in docs, I created a module ```elixir defmodule Id do import Algae defdata any() end ``` when I try to call `Id.new("random value")` i get following error:...

revati

Tons of warning messages after adding Algae to mix file

2

Is it possible to update this for newest Elixir version? I assume that's the problem. After adding this (incredible) library and doing mix deps.get, the next time I run my...

ericridgeway

[Question / Help] Can anybody explain how to use Free monad?

3

I've been search for a good tutorial on understanding this Monad but I'm unable to grasp the concept. I understand how IO monads work. Can anybody explain how to use...

hariroshan

Hi! I think it would be useful to have a parameterized type for optional entities, e.g. ```elixir @spec f(Algae.Maybe.t(String.t())) :: any def f(opt_name) do # ... end ``` We could...

neysofu

[Feature request/Question] Way to combine monads

1

Are there any plans to add monad transformers or any other way to combine monads, or maybe I missed something?

tino415

From [`Foldable` documentation](https://hexdocs.pm/witchcraft/Witchcraft.Foldable.html#content): > People are working on Foldable properties. This is one of the exceptions to there needing to conform to properties. PureScript's `Foldable` doesn't mention properties, but [Haskell's](http://hackage.haskell.org/package/base-4.12.0.0/docs/Data-Foldable.html)...

toraritte