BoomBoom.Generic.Interpret

data R a

Here we are defining machinery for "tree of records" interpretation. As we are defining this tree on the type level and operating on it through type classes this stragegy should not suffer from the "expression problem" and should be extensible - you should be able to extend given node set but also interpretation set for predefined nodes.

This interpreting machinery allows to run transformations similar to catamorphisms but also less elegant/simple scenarios which require information about parent node too.

Constructors

• R (Record a)

Instances

• (Alg interpreter field (R r) r' r'', RowToList r rl, MapRecord interpreter "R" rl r r') => Interpret interpreter field (R r) r''
• Alg "unwrap" Root (R o) (Builder (Record ()) (Record r)) (Record r)

  "unwrap" interpreter which just drops "R", "V" and "B" construtors

• (IsSymbol fieldName, RowLacks fieldName prs, RowCons fieldName (Record r) prs prs') => Alg "unwrap" (Field parent fieldName) (R o) (Builder (Record ()) (Record r)) (Builder (Record prs) (Record prs'))
• Alg "boomboom" Root (R o) (ProductBuilder tok r (Record ()) r) (BoomBoom tok r)

  "boomboom" interpreter which builds a BoomBoom from our tree where V represents variant, R represents record and B holds BoomBoom.

• (AddField parent fieldName (BoomBoom tok (Record r)) b) => Alg "boomboom" (Field parent fieldName) (R o) (ProductBuilder tok (Record r) (Record ()) (Record r)) b
• (RowToList output ol, SameLabels ol builder) => Alg "builder" Root (R o) (ApplicativeCat (Function (Record builder)) Builder (Record ()) (Record output)) (Record builder -> Record output)

  "builder" interpreter - it produces helper function or record which can be used to produce value for serialization. In other words it simplifies nested variants generation. Check tests/BoomBoom/Generic/Intepret.purs for examples.

• (RowCons fieldName (Record subbuilder) builder builder', RowLacks fieldName builder, IsSymbol fieldName, RowCons fieldName (Record suboutput) output output', RowLacks fieldName output) => Alg "builder" (Field "R" fieldName) (R o) (ApplicativeCat (Function (Record subbuilder)) Builder (Record ()) (Record suboutput)) (ApplicativeCat (Function (Record builder')) Builder (Record output) (Record output'))
• (RowCons fieldName (Record subbuilder -> result) output output', RowLacks fieldName output, IsSymbol fieldName, RowCons fieldName (Record suboutput) v v', RowLacks fieldName v, RowToList suboutput ol, SameLabels ol subbuilder) => Alg "builder" (Field "V" fieldName) (R o) (ApplicativeCat (Function (Record subbuilder)) Builder (Record ()) (Record suboutput)) (ApplicativeCat (Function (Variant v' -> result)) Builder (Record output) (Record output'))

data V a

Constructors

• V (Record a)

Instances

• (Alg interpreter field (V r) r' r'', RowToList r rl, MapRecord interpreter "V" rl r r') => Interpret interpreter field (V r) r''
• Alg "unwrap" Root (V o) (Builder (Record ()) (Record r)) (Record r)
• (IsSymbol fieldName, RowLacks fieldName prs, RowCons fieldName (Record r) prs prs') => Alg "unwrap" (Field parent fieldName) (V o) (Builder (Record ()) (Record r)) (Builder (Record prs) (Record prs'))
• Alg "boomboom" Root (V o) (CoproductBuilder tok (Variant r) (Either (Variant r) tok) (Either (Variant ()) tok)) (BoomBoom tok (Variant r))
• (AddField parent fieldName (BoomBoom tok (Variant r)) b) => Alg "boomboom" (Field parent fieldName) (V o) (CoproductBuilder tok (Variant r) (Either (Variant r) tok) (Either (Variant ()) tok)) b
• (RowToList builder bl, SameLabels bl input) => Alg "builder" Root (V o) (ApplicativeCat (Function (Variant input -> Variant input)) Builder (Record ()) (Record builder)) (Record builder)
• (RowCons fieldName (Record subbuilder -> Variant v) builder builder', RowLacks fieldName builder, IsSymbol fieldName, RowCons fieldName (Variant v) output output', RowLacks fieldName output, RowToList subbuilder bl, SameLabels bl v) => Alg "builder" (Field "R" fieldName) (V o) (ApplicativeCat (Function (Variant v -> Variant v)) Builder (Record ()) (Record subbuilder)) (ApplicativeCat (Function (Record builder')) Builder (Record output) (Record output'))
• (RowCons fieldName a v v', RowLacks fieldName v, IsSymbol fieldName, RowCons fieldName (Record r) n n', RowLacks fieldName n) => Alg "builder" (Field "V" fieldName) (V o) (ApplicativeCat (Function (a -> result)) Builder (Record ()) (Record r)) (ApplicativeCat (Function (Variant v' -> result)) Builder (Record n) (Record n'))

data B t

Constructors

• B t

Instances

• (Alg interpreter field (B a) a a') => Interpret interpreter field (B a) a'
• Alg "unwrap" Root (B o) a a
• (IsSymbol fieldName, RowCons fieldName a prs prs', RowLacks fieldName prs) => Alg "unwrap" (Field parent fieldName) (B o) a (Builder (Record prs) (Record prs'))
• Alg "boomboom" Root (B o) (BoomBoom tok a) (BoomBoom tok a)
• (AddField parent fieldName (BoomBoom tok a) b) => Alg "boomboom" (Field parent fieldName) (B o) (BoomBoom tok a) b
• (RowCons fieldName a builder builder', RowLacks fieldName builder, IsSymbol fieldName, RowCons fieldName a output output', RowLacks fieldName output) => Alg "builder" (Field "R" fieldName) (B o) (BoomBoom tok a) (ApplicativeCat (Function (Record builder')) Builder (Record output) (Record output'))
• (RowCons fieldName a v v', RowLacks fieldName v, IsSymbol fieldName, RowCons fieldName (a -> result) r r', RowLacks fieldName r) => Alg "builder" (Field "V" fieldName) (B o) (BoomBoom tok a) (ApplicativeCat (Function (Variant v' -> result)) Builder (Record r) (Record r'))

data Field :: Type

Only root of our tree is not a field of a record. This kind allows us to represent this option.

data Root :: Field

Instances

• Alg "unwrap" Root (R o) (Builder (Record ()) (Record r)) (Record r)

  "unwrap" interpreter which just drops "R", "V" and "B" construtors

• Alg "unwrap" Root (V o) (Builder (Record ()) (Record r)) (Record r)
• Alg "unwrap" Root (B o) a a
• Alg "boomboom" Root (R o) (ProductBuilder tok r (Record ()) r) (BoomBoom tok r)

  "boomboom" interpreter which builds a BoomBoom from our tree where V represents variant, R represents record and B holds BoomBoom.

• Alg "boomboom" Root (V o) (CoproductBuilder tok (Variant r) (Either (Variant r) tok) (Either (Variant ()) tok)) (BoomBoom tok (Variant r))
• Alg "boomboom" Root (B o) (BoomBoom tok a) (BoomBoom tok a)
• (RowToList output ol, SameLabels ol builder) => Alg "builder" Root (R o) (ApplicativeCat (Function (Record builder)) Builder (Record ()) (Record output)) (Record builder -> Record output)

  "builder" interpreter - it produces helper function or record which can be used to produce value for serialization. In other words it simplifies nested variants generation. Check tests/BoomBoom/Generic/Intepret.purs for examples.

• (RowToList builder bl, SameLabels bl input) => Alg "builder" Root (V o) (ApplicativeCat (Function (Variant input -> Variant input)) Builder (Record ()) (Record builder)) (Record builder)

data Field :: Symbol -> Symbol -> Field

Allow case analysis on constrctor:

1. Parent name - it will be changed to parent type soon. It provides a way to break usual "locality" of *morphisms algebras which is required in case of BoomBooms generation.
2. Field name which we are in.

Instances

• (IsSymbol fieldName, RowLacks fieldName prs, RowCons fieldName (Record r) prs prs') => Alg "unwrap" (Field parent fieldName) (V o) (Builder (Record ()) (Record r)) (Builder (Record prs) (Record prs'))
• (IsSymbol fieldName, RowLacks fieldName prs, RowCons fieldName (Record r) prs prs') => Alg "unwrap" (Field parent fieldName) (R o) (Builder (Record ()) (Record r)) (Builder (Record prs) (Record prs'))
• (IsSymbol fieldName, RowCons fieldName a prs prs', RowLacks fieldName prs) => Alg "unwrap" (Field parent fieldName) (B o) a (Builder (Record prs) (Record prs'))
• (AddField parent fieldName (BoomBoom tok (Record r)) b) => Alg "boomboom" (Field parent fieldName) (R o) (ProductBuilder tok (Record r) (Record ()) (Record r)) b
• (AddField parent fieldName (BoomBoom tok (Variant r)) b) => Alg "boomboom" (Field parent fieldName) (V o) (CoproductBuilder tok (Variant r) (Either (Variant r) tok) (Either (Variant ()) tok)) b
• (AddField parent fieldName (BoomBoom tok a) b) => Alg "boomboom" (Field parent fieldName) (B o) (BoomBoom tok a) b
• (RowCons fieldName a builder builder', RowLacks fieldName builder, IsSymbol fieldName, RowCons fieldName a output output', RowLacks fieldName output) => Alg "builder" (Field "R" fieldName) (B o) (BoomBoom tok a) (ApplicativeCat (Function (Record builder')) Builder (Record output) (Record output'))
• (RowCons fieldName (Record subbuilder) builder builder', RowLacks fieldName builder, IsSymbol fieldName, RowCons fieldName (Record suboutput) output output', RowLacks fieldName output) => Alg "builder" (Field "R" fieldName) (R o) (ApplicativeCat (Function (Record subbuilder)) Builder (Record ()) (Record suboutput)) (ApplicativeCat (Function (Record builder')) Builder (Record output) (Record output'))
• (RowCons fieldName (Record subbuilder -> Variant v) builder builder', RowLacks fieldName builder, IsSymbol fieldName, RowCons fieldName (Variant v) output output', RowLacks fieldName output, RowToList subbuilder bl, SameLabels bl v) => Alg "builder" (Field "R" fieldName) (V o) (ApplicativeCat (Function (Variant v -> Variant v)) Builder (Record ()) (Record subbuilder)) (ApplicativeCat (Function (Record builder')) Builder (Record output) (Record output'))
• (RowCons fieldName a v v', RowLacks fieldName v, IsSymbol fieldName, RowCons fieldName (a -> result) r r', RowLacks fieldName r) => Alg "builder" (Field "V" fieldName) (B o) (BoomBoom tok a) (ApplicativeCat (Function (Variant v' -> result)) Builder (Record r) (Record r'))
• (RowCons fieldName (Record subbuilder -> result) output output', RowLacks fieldName output, IsSymbol fieldName, RowCons fieldName (Record suboutput) v v', RowLacks fieldName v, RowToList suboutput ol, SameLabels ol subbuilder) => Alg "builder" (Field "V" fieldName) (R o) (ApplicativeCat (Function (Record subbuilder)) Builder (Record ()) (Record suboutput)) (ApplicativeCat (Function (Variant v' -> result)) Builder (Record output) (Record output'))
• (RowCons fieldName a v v', RowLacks fieldName v, IsSymbol fieldName, RowCons fieldName (Record r) n n', RowLacks fieldName n) => Alg "builder" (Field "V" fieldName) (V o) (ApplicativeCat (Function (a -> result)) Builder (Record ()) (Record r)) (ApplicativeCat (Function (Variant v' -> result)) Builder (Record n) (Record n'))

data InterpretProxy (interpreter :: Symbol) (field :: Field)

Constructors

• InterpretProxy

data MapProxy (interpreter :: Symbol) (parent :: Symbol)

Constructors

• MapProxy

class MapRecord interpreter parent il i o | interpreter il -> o where

Members

• mapRecord :: MapProxy interpreter parent -> RLProxy il -> Record i -> o

Instances

• (Category builder) => MapRecord interpreter parent Nil i (builder o o)
• (Interpret interpreter (Field parent fieldName) field (builder o o'), IsSymbol interpreter, IsSymbol fieldName, RowCons fieldName field i' i, Semigroupoid builder) => MapRecord interpreter parent (Cons fieldName field Nil) i (builder o o')
• (Interpret interpreter (Field parent fieldName) field (builder o o'), IsSymbol interpreter, IsSymbol fieldName, RowCons fieldName field i' i, MapRecord interpreter parent tail i (builder o' o''), Semigroupoid builder) => MapRecord interpreter parent (Cons fieldName field tail) i (builder o o'')

class Interpret interpreter field a b | interpreter field a -> b where

Members

• interpretImpl :: InterpretProxy interpreter field -> a -> b

Instances

• (Alg interpreter field (R r) r' r'', RowToList r rl, MapRecord interpreter "R" rl r r') => Interpret interpreter field (R r) r''
• (Alg interpreter field (V r) r' r'', RowToList r rl, MapRecord interpreter "V" rl r r') => Interpret interpreter field (V r) r''
• (Alg interpreter field (B a) a a') => Interpret interpreter field (B a) a'

data AlgProxy (interpreter :: Symbol) (field :: Field) (term :: Type)

We are storing here:

• name of our interpreter
• field information (parent constructor name + field name)
• original term type (like in paramorphism)

Constructors

• AlgProxy

class Alg interpreter field term a b | interpreter field term -> a, interpreter field term a -> b where

I'm not sure about these functional dependencies but without them we have a problem...

Members

• alg :: AlgProxy interpreter field term -> a -> b

Instances

• Alg "unwrap" Root (R o) (Builder (Record ()) (Record r)) (Record r)

  "unwrap" interpreter which just drops "R", "V" and "B" construtors

• Alg "unwrap" Root (V o) (Builder (Record ()) (Record r)) (Record r)
• Alg "unwrap" Root (B o) a a
• (IsSymbol fieldName, RowLacks fieldName prs, RowCons fieldName (Record r) prs prs') => Alg "unwrap" (Field parent fieldName) (V o) (Builder (Record ()) (Record r)) (Builder (Record prs) (Record prs'))
• (IsSymbol fieldName, RowLacks fieldName prs, RowCons fieldName (Record r) prs prs') => Alg "unwrap" (Field parent fieldName) (R o) (Builder (Record ()) (Record r)) (Builder (Record prs) (Record prs'))
• (IsSymbol fieldName, RowCons fieldName a prs prs', RowLacks fieldName prs) => Alg "unwrap" (Field parent fieldName) (B o) a (Builder (Record prs) (Record prs'))
• Alg "boomboom" Root (R o) (ProductBuilder tok r (Record ()) r) (BoomBoom tok r)

  "boomboom" interpreter which builds a BoomBoom from our tree where V represents variant, R represents record and B holds BoomBoom.

• Alg "boomboom" Root (V o) (CoproductBuilder tok (Variant r) (Either (Variant r) tok) (Either (Variant ()) tok)) (BoomBoom tok (Variant r))
• Alg "boomboom" Root (B o) (BoomBoom tok a) (BoomBoom tok a)
• (AddField parent fieldName (BoomBoom tok (Record r)) b) => Alg "boomboom" (Field parent fieldName) (R o) (ProductBuilder tok (Record r) (Record ()) (Record r)) b
• (AddField parent fieldName (BoomBoom tok (Variant r)) b) => Alg "boomboom" (Field parent fieldName) (V o) (CoproductBuilder tok (Variant r) (Either (Variant r) tok) (Either (Variant ()) tok)) b
• (AddField parent fieldName (BoomBoom tok a) b) => Alg "boomboom" (Field parent fieldName) (B o) (BoomBoom tok a) b
• (RowToList output ol, SameLabels ol builder) => Alg "builder" Root (R o) (ApplicativeCat (Function (Record builder)) Builder (Record ()) (Record output)) (Record builder -> Record output)

  "builder" interpreter - it produces helper function or record which can be used to produce value for serialization. In other words it simplifies nested variants generation. Check tests/BoomBoom/Generic/Intepret.purs for examples.

• (RowToList builder bl, SameLabels bl input) => Alg "builder" Root (V o) (ApplicativeCat (Function (Variant input -> Variant input)) Builder (Record ()) (Record builder)) (Record builder)
• (RowCons fieldName a builder builder', RowLacks fieldName builder, IsSymbol fieldName, RowCons fieldName a output output', RowLacks fieldName output) => Alg "builder" (Field "R" fieldName) (B o) (BoomBoom tok a) (ApplicativeCat (Function (Record builder')) Builder (Record output) (Record output'))
• (RowCons fieldName (Record subbuilder) builder builder', RowLacks fieldName builder, IsSymbol fieldName, RowCons fieldName (Record suboutput) output output', RowLacks fieldName output) => Alg "builder" (Field "R" fieldName) (R o) (ApplicativeCat (Function (Record subbuilder)) Builder (Record ()) (Record suboutput)) (ApplicativeCat (Function (Record builder')) Builder (Record output) (Record output'))
• (RowCons fieldName (Record subbuilder -> Variant v) builder builder', RowLacks fieldName builder, IsSymbol fieldName, RowCons fieldName (Variant v) output output', RowLacks fieldName output, RowToList subbuilder bl, SameLabels bl v) => Alg "builder" (Field "R" fieldName) (V o) (ApplicativeCat (Function (Variant v -> Variant v)) Builder (Record ()) (Record subbuilder)) (ApplicativeCat (Function (Record builder')) Builder (Record output) (Record output'))
• (RowCons fieldName a v v', RowLacks fieldName v, IsSymbol fieldName, RowCons fieldName (a -> result) r r', RowLacks fieldName r) => Alg "builder" (Field "V" fieldName) (B o) (BoomBoom tok a) (ApplicativeCat (Function (Variant v' -> result)) Builder (Record r) (Record r'))
• (RowCons fieldName (Record subbuilder -> result) output output', RowLacks fieldName output, IsSymbol fieldName, RowCons fieldName (Record suboutput) v v', RowLacks fieldName v, RowToList suboutput ol, SameLabels ol subbuilder) => Alg "builder" (Field "V" fieldName) (R o) (ApplicativeCat (Function (Record subbuilder)) Builder (Record ()) (Record suboutput)) (ApplicativeCat (Function (Variant v' -> result)) Builder (Record output) (Record output'))
• (RowCons fieldName a v v', RowLacks fieldName v, IsSymbol fieldName, RowCons fieldName (Record r) n n', RowLacks fieldName n) => Alg "builder" (Field "V" fieldName) (V o) (ApplicativeCat (Function (a -> result)) Builder (Record ()) (Record r)) (ApplicativeCat (Function (Variant v' -> result)) Builder (Record n) (Record n'))

class AddField parent name a b | parent a -> b where

Members

• addField :: SProxy parent -> SProxy name -> a -> b

Instances

• (RowCons name a s' s, RowLacks name s', RowCons name a p p', RowLacks name p, IsSymbol name) => AddField "R" name (BoomBoom tok a) (ProductBuilder tok (Record s) (Record p) (Record p'))
• (RowCons name a r' r, RowLacks name r', RowCons name a s' s, RowLacks name s', IsSymbol name, Monoid tok, Eq tok, Prefix tok) => AddField "V" name (BoomBoom tok a) (CoproductBuilder tok (Variant s) (Either (Variant r) tok) (Either (Variant r') tok))

class Prefix tok  where

Members

• prefix :: forall name. IsSymbol name => SProxy name -> BoomBoom tok Unit

Instances

• Prefix (List String)

newtype ApplicativeCat appl cat a b

Constructors

• ApplicativeCat (appl (cat a b))

Instances

• (Apply appl, Semigroupoid cat) => Semigroupoid (ApplicativeCat appl cat)
• (RowToList output ol, SameLabels ol builder) => Alg "builder" Root (R o) (ApplicativeCat (Function (Record builder)) Builder (Record ()) (Record output)) (Record builder -> Record output)

  "builder" interpreter - it produces helper function or record which can be used to produce value for serialization. In other words it simplifies nested variants generation. Check tests/BoomBoom/Generic/Intepret.purs for examples.

• (RowToList builder bl, SameLabels bl input) => Alg "builder" Root (V o) (ApplicativeCat (Function (Variant input -> Variant input)) Builder (Record ()) (Record builder)) (Record builder)
• (RowCons fieldName a builder builder', RowLacks fieldName builder, IsSymbol fieldName, RowCons fieldName a output output', RowLacks fieldName output) => Alg "builder" (Field "R" fieldName) (B o) (BoomBoom tok a) (ApplicativeCat (Function (Record builder')) Builder (Record output) (Record output'))
• (RowCons fieldName (Record subbuilder) builder builder', RowLacks fieldName builder, IsSymbol fieldName, RowCons fieldName (Record suboutput) output output', RowLacks fieldName output) => Alg "builder" (Field "R" fieldName) (R o) (ApplicativeCat (Function (Record subbuilder)) Builder (Record ()) (Record suboutput)) (ApplicativeCat (Function (Record builder')) Builder (Record output) (Record output'))
• (RowCons fieldName (Record subbuilder -> Variant v) builder builder', RowLacks fieldName builder, IsSymbol fieldName, RowCons fieldName (Variant v) output output', RowLacks fieldName output, RowToList subbuilder bl, SameLabels bl v) => Alg "builder" (Field "R" fieldName) (V o) (ApplicativeCat (Function (Variant v -> Variant v)) Builder (Record ()) (Record subbuilder)) (ApplicativeCat (Function (Record builder')) Builder (Record output) (Record output'))
• (RowCons fieldName a v v', RowLacks fieldName v, IsSymbol fieldName, RowCons fieldName (a -> result) r r', RowLacks fieldName r) => Alg "builder" (Field "V" fieldName) (B o) (BoomBoom tok a) (ApplicativeCat (Function (Variant v' -> result)) Builder (Record r) (Record r'))
• (RowCons fieldName (Record subbuilder -> result) output output', RowLacks fieldName output, IsSymbol fieldName, RowCons fieldName (Record suboutput) v v', RowLacks fieldName v, RowToList suboutput ol, SameLabels ol subbuilder) => Alg "builder" (Field "V" fieldName) (R o) (ApplicativeCat (Function (Record subbuilder)) Builder (Record ()) (Record suboutput)) (ApplicativeCat (Function (Variant v' -> result)) Builder (Record output) (Record output'))
• (RowCons fieldName a v v', RowLacks fieldName v, IsSymbol fieldName, RowCons fieldName (Record r) n n', RowLacks fieldName n) => Alg "builder" (Field "V" fieldName) (V o) (ApplicativeCat (Function (a -> result)) Builder (Record ()) (Record r)) (ApplicativeCat (Function (Variant v' -> result)) Builder (Record n) (Record n'))

type ReaderCat v cat a b = ApplicativeCat (Function v) cat a b

class SameLabels (list :: RowList) (row :: Row Type) | list -> row

Instances

• SameLabels Nil ()
• (RowCons name a row' row, SameLabels tail row') => SameLabels (Cons name x tail) row

interpret :: forall interpreter b a. IsSymbol interpreter => Interpret interpreter Root a b => SProxy interpreter -> a -> b