typo enfIsType* -> enfType*
This commit is contained in:
parent
886f7181ac
commit
7796800888
2 changed files with 4 additions and 4 deletions
|
|
@ -28,7 +28,7 @@ in rec {
|
||||||
enfIsClassSig = msg: sig:
|
enfIsClassSig = msg: sig:
|
||||||
isClassSig sig || throw "${msg}: given value \"${toString sig}\" of primitive nix type \"${typeOf sig}\" is not a valid Typeclass signature";
|
isClassSig sig || throw "${msg}: given value \"${toString sig}\" of primitive nix type \"${typeOf sig}\" is not a valid Typeclass signature";
|
||||||
|
|
||||||
enfIsTypeSig = msg: sig:
|
enfTypeSig = msg: sig:
|
||||||
isTypeSig sig || throw "${msg}: given value \"${toString sig}\" of primitive nix type \"${typeOf sig}\" is not a valid Type signature";
|
isTypeSig sig || throw "${msg}: given value \"${toString sig}\" of primitive nix type \"${typeOf sig}\" is not a valid Type signature";
|
||||||
|
|
||||||
enfIsNT = msg: T:
|
enfIsNT = msg: T:
|
||||||
|
|
|
||||||
|
|
@ -10,7 +10,7 @@
|
||||||
(this)
|
(this)
|
||||||
enfHasAttr
|
enfHasAttr
|
||||||
enfHasAttr'
|
enfHasAttr'
|
||||||
enfIsType
|
enfType
|
||||||
;
|
;
|
||||||
|
|
||||||
masterkey = "_''traps''_";
|
masterkey = "_''traps''_";
|
||||||
|
|
@ -50,11 +50,11 @@ in rec {
|
||||||
|
|
||||||
openTrapdoorSet = key: xs: xs.${key};
|
openTrapdoorSet = key: xs: xs.${key};
|
||||||
|
|
||||||
# TODO: implement a function called enfIsTypeAny (for cases like this where it might be function or set)
|
# TODO: implement a function called enfTypeAny (for cases like this where it might be function or set)
|
||||||
openTrapdoor = key: T:
|
openTrapdoor = key: T:
|
||||||
if isFunction T
|
if isFunction T
|
||||||
then openTrapdoorFn key T
|
then openTrapdoorFn key T
|
||||||
else
|
else
|
||||||
assert enfIsType "set" T "openTrapdoor";
|
assert enfType "set" T "openTrapdoor";
|
||||||
openTrapdoorSet key T;
|
openTrapdoorSet key T;
|
||||||
}
|
}
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue