Packages

datum

4.6.1
4.6.2 4.6.1 4.6.0 4.5.1 4.5.0 4.4.0 4.3.6 4.3.5 4.3.4 4.3.3 4.3.2 4.3.1 4.3.0 4.2.0 4.1.0

pure functional and generic programming

Current section

Files

Jump to
Readme
15 Versions
0 Dependencies
Dependants
Files
Activity
datum src t.erl
Raw

src/t.erl 

-module(t).



-compile({parse_transform, generic}).



-export([t/0, iri/0]).



-record(adt, {a, b, c}).



t() ->

   Struct  = #{<<"a">> => 1, <<"b">> => <<"test@org">>, <<"c">> => 2.0},

   Lens = labelled:lens(

      #adt{

         b = iri()

      }

   ),

   lens:get(Lens, Struct). 





iri() ->

   fun(Fun, IRI) ->

      lens:fmap(fun(X) -> X end, Fun(iri(IRI)))

   end.



iri(IRI) ->

   [Suffix, Prefix] = binary:split(IRI, <<$@>>),

   {iri, Prefix, Suffix}.