• Home
• io.7mind.izumi
• idealingua-v1-test-defs_2.13
• 1.3.20
• source code
• algebraics.domain

×

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.

defs.main-tests.source.idltest.algebraics.domain Maven / Gradle / Ivy

domain idltest.algebraics

data Success { message: str }
data Failure { code: int8 }


adt Alternative {
  Success as TestSuccess
  Failure
}

adt ShortSyntax = Success as TestSuccess | Failure

id AdtTestID {
    id: str
}

data ComplexAdt {
    id: AdtTestID
}

data ComplexAdt2 {
    id: AdtTestID
}

adt AdtTester {
    ComplexAdt
    ComplexAdt2
}

//https://github.com/7mind/izumi/issues/363
/*
adt Bad0 {
    Success
    Failure
}

adt Bad1 {
    Success
    Failure
}

adt Bad {
    Bad0
    Bad1
}
*/

mixin AFace {
    a: i32
}

adt AdtWithInterface {
    AFace
    Success
}