fluencelabs/hackethberlin
1
0
Fork 0
mirror of https://github.com/fluencelabs/hackethberlin synced 2025-04-24 17:02:18 +00:00
Code Issues Projects Releases Wiki Activity

trying to get from struct type

Browse Source
This commit is contained in:
alari 2018-09-08 13:18:56 +02:00
parent aa725a41ba
commit f759c64868
3 changed files with 23 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/main/scala/fluence/hackethberlin/FuncDef.scala
View File

@ -11,13 +11,15 @@ class FuncDef[Args <: HList: DataVyper, Ret <: types.Type](
) {
def toVyper: String =
s"${decorators.map(_.toVyper).mkString("\n")}\ndef $name(${DataVyper[Args].mkString(argsDef, ", ")})${ret.fold("")(" -> "+_.toVyper)}:\n body;\n"
s"${decorators.map(_.toVyper).mkString("\n")}\ndef $name(${DataVyper[Args]
.mkString(argsDef, ", ")})${ret.fold("")(" -> " + _.toVyper)}:\n body;\n"
def @:(decorator: Decorator): FuncDef[Args, Ret] =
new FuncDef[Args, Ret](name, argsDef, ret, decorators + decorator)
}
object FuncDef {
def apply[Args <: HList: DataVyper, Ret <: types.Type](
name: String,
argsDef: Args,
@ -25,7 +27,6 @@ object FuncDef {
): FuncDef[Args, Ret] =
new FuncDef(name, argsDef, Some(ret))
def apply[Args <: HList: DataVyper](
name: String,
argsDef: Args

4
src/main/scala/fluence/hackethberlin/MakeVyperApp.scala
View File

@ -2,7 +2,9 @@ package fluence.hackethberlin
import shapeless._
import types._
import record._
import Decorator._
import shapeless.labelled.FieldType
import syntax.singleton._
object MakeVyperApp extends App {
@ -36,6 +38,8 @@ object MakeVyperApp extends App {
('record_address ->> address) :: ('other_some ->> uint256) :: HNil
)
println(Console.RED + recordStruct.get('other_some) + Console.RESET)
println(recordStruct.toVyper)
println(data.toVyper)

7
src/main/scala/fluence/hackethberlin/types/StructType.scala
View File

@ -1,7 +1,12 @@
package fluence.hackethberlin.types
import shapeless.HList
import fluence.hackethberlin.Expr
import shapeless.{HList, Witness}
import shapeless.ops.record.Selector
class StructType[D <: HList](dataDef: D)(implicit dv: DataVyper[D]) extends Type {
def get(k: Witness)(implicit selector : Selector[D, k.T], ev: k.T <:< Type): Expr.Ref[k.T] =
Expr.Ref[k.T]("field should be there")
override def toVyper: String = s"{${dv.toVyperDefinitions(dataDef).mkString(", ")}}"
}