Scala -- mutually exclusive traits -

-

is there way define collection of alternatives of common type:

trait mutability trait mutable extends mutability trait immutable extends mutability

and have compiler preclude like:

object hat extends mutable immutable

i believe can force some compiler error having common, conflicting member error message bit oblique:

trait mutability trait mutable extends mutability { protected val conflict = true } trait immutable extends mutability { protected val conflict = true }  object hat extends mutable immutable  <console>:10: error: object hat inherits conflicting members: value conflict in class immutable$class of type boolean  , value conflict in class mutable$class of type boolean (note: can resolved declaring override in object hat.)    object hat extends immutable mutable

is there more direct way express constraint , not permit work around taking hint offered compiler (override 'conflict' in hat)?

thanks insights

i think might work

sealed trait mutability case object immutable extends mutability case object mutable extends mutability  trait mutabilitylevel[a <: mutability]  class foo extends mutabilitylevel[immutable.type]

this (ab?)uses fact can't extend same trait twice different parameterization 

scala> class foo extends mutabilitylevel[immutable.type] mutabilitylevel[mutable.type] <console>:11: error: illegal inheritance;  self-type foo not conform mutabilitylevel[immutable.type]'s selftype mutabilitylevel[immutable.type]        class foo extends mutabilitylevel[immutable.type] mutabilitylevel[mutable.type]                          ^ <console>:11: error: illegal inheritance;  self-type foo not conform mutabilitylevel[mutable.type]'s selftype mutabilitylevel[mutable.type]        class foo extends mutabilitylevel[immutable.type] mutabilitylevel[mutable.type]

however..

scala> class foo extends mutabilitylevel[mutability] defined class foo

Comments

Post a Comment

Popular posts from this blog

PHP DOM loadHTML() method unusual warning -

-
i had following code works fine on localhost: $document = new domdocument(); $document->loadhtml($p_result); $form = $document->getelementsbytagname('form')->item(0); // code continues using $form variable after same code updated on outside server, loadhtml() failed , issued warning. warning: domdocument::loadhtml() expects parameter 1 valid path, string given in path/name/to/script.php returned null instead of object code pretty gets fatal error. note contents of $p_result absolutely same on outside server , on localhost. but why displays kind of warning , why not work? doesn't loadhtml() expects argument 1 string in first place? why method expects parameter 1 valid path ? just make clear i'm not calling loadhtmlfile() , i'm calling loadhtml() . thanks. you're affected one of php bugs . issue present in php 5.6.8 , 5.6.9. have affected php version on server, , bug-free version on localhost. the bug forbids null
Read more

python - How to create jsonb index using GIN on SQLAlchemy? -

-
here's current code creating index jsonb. index("mytable_data_idx_id_key", mytable.data['id'].astext, postgresql_using='gin') but got error. sqlalchemy.exc.programmingerror: (psycopg2.programmingerror) data type text has no default operator class access method "gin" hint: must specify operator class index or define default operator class data type. [sql: "create index event_data_idx_id_key on event using gin ((data ->> 'id'))"] is there way create index on sqlalchemy? the postgresql specific sqlalchemy docs @ http://docs.sqlalchemy.org/en/latest/dialects/postgresql.html#operator-classes mention postgresql_ops dictionary provide "operator class" used postgresql, , provide example illustrating use: index('my_index', my_table.c.id, my_table.c.data, postgresql_ops={ 'data': 'text_pattern_ops',
Read more

c# - TransactionScope not rolling back although no complete() is called -

-
i'm using transactionscope rollback transaction fail bool errorreported = false; action<importerrorlog> newerrorcallback = e => { errorreported = true; errorcallback(e); }; using (var transaction = new transactionscope()) { foreach (importtaskdefinition task in taskdefinition) { loader.load(streamfile, newerrorcallback, task.destinationtable, processingtaskid); } if (!errorreported) transaction.complete(); } i'm sure there no transactionscope started ahead or after code. i'm using entity framework insert in db. regardless state of errorreported transaction never rolled in case of error. what missing ? transactionscope sets transaction.current . that's does. wants transacted must @ property. i believe ef each time connection opened reason. probably, connection open when scope installed. open connection inside of scope or enlist manually. ef has nasty "design decision": default opens
Read more