• Home
• org.julianmichael
• jjm-core_2.13
• 0.2.3
• source code
• PredArgStructure.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

ling.PredArgStructure.scala Maven / Gradle / Ivy

package jjm.ling

import io.circe.generic.JsonCodec

import monocle.macros.GenLens

@JsonCodec case class PredArgStructure[Pred, Arg](
  predicateIndex: Int,
  predicate: Pred,
  arguments: List[(String, Arg)])

object PredArgStructure {
  def predicateIndex[Pred, Arg] = GenLens[PredArgStructure[Pred, Arg]](_.predicateIndex)
  def predicate[Pred, Arg] = GenLens[PredArgStructure[Pred, Arg]](_.predicate)
  def arguments[Pred, Arg] = GenLens[PredArgStructure[Pred, Arg]](_.arguments)
}