From: Victor Porton <porton@narod.ru>
Subject: Type invariants and private extensions?
Date: Mon, 11 Sep 2017 22:51:18 +0300
Date: 2017-09-11T22:51:18+03:00 [thread overview]
Message-ID: <op6pfu$h8h$1@gioia.aioe.org> (raw)
As far as I understand, type invariants cannot be applied to types with
private extensions. Right?
It would be nice to create private extension types which would allow to use
them only when certain boolean function on the parent type returns True.
Is anything like this possible?
--
Victor Porton - http://portonvictor.org
next reply other threads:[~2017-09-11 19:51 UTC|newest]
Thread overview: 28+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-09-11 19:51 Victor Porton [this message]
2017-09-11 20:00 ` Type invariants and private extensions? Egil H H
2017-09-11 20:48 ` Victor Porton
2017-09-11 21:19 ` Egil H H
2017-09-11 21:27 ` Victor Porton
2017-09-11 21:49 ` Egil H H
2017-09-11 22:00 ` Victor Porton
2017-09-11 22:06 ` Egil H H
2017-09-12 7:30 ` Dmitry A. Kazakov
2017-09-11 22:00 ` Jere
2017-09-11 22:02 ` Victor Porton
2017-09-12 18:26 ` Jeffrey R. Carter
2017-09-12 18:54 ` Victor Porton
2017-09-12 19:56 ` Jeffrey R. Carter
2017-09-12 20:08 ` Victor Porton
2017-09-12 22:34 ` Shark8
2017-09-12 22:59 ` Victor Porton
2017-09-13 4:21 ` Jere
2017-09-13 4:28 ` Jere
2017-09-13 4:34 ` Jere
2017-09-14 13:52 ` Victor Porton
2017-09-15 0:48 ` Jere
2017-09-16 14:22 ` Victor Porton
2017-09-14 7:28 ` Shark8
2017-09-14 13:56 ` Victor Porton
2017-09-14 13:58 ` Victor Porton
2017-09-11 22:48 ` Shark8
2017-10-02 23:16 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox