correct all std paths
This commit is contained in:
parent
d6ab2fdf72
commit
3974b5afcd
7 changed files with 33 additions and 36 deletions
|
|
@ -10,10 +10,6 @@
|
||||||
inherit
|
inherit
|
||||||
(nt)
|
(nt)
|
||||||
enfIsPrimitive
|
enfIsPrimitive
|
||||||
;
|
|
||||||
|
|
||||||
inherit
|
|
||||||
(nt.std)
|
|
||||||
hasInfix
|
hasInfix
|
||||||
mergeAttrsList
|
mergeAttrsList
|
||||||
nameValuePair
|
nameValuePair
|
||||||
|
|
|
||||||
|
|
@ -10,7 +10,7 @@
|
||||||
;
|
;
|
||||||
|
|
||||||
inherit
|
inherit
|
||||||
(nt.parse)
|
(nt)
|
||||||
projectOnto
|
projectOnto
|
||||||
;
|
;
|
||||||
in {
|
in {
|
||||||
|
|
|
||||||
|
|
@ -10,28 +10,28 @@
|
||||||
inherit
|
inherit
|
||||||
(this)
|
(this)
|
||||||
enfIsType
|
enfIsType
|
||||||
|
enfIsClassSig
|
||||||
|
ntTrapdoorKey
|
||||||
|
parseClassSig
|
||||||
typeSig
|
typeSig
|
||||||
;
|
;
|
||||||
|
|
||||||
|
inherit
|
||||||
|
(this.trapdoor)
|
||||||
|
mkTrapdoorSet
|
||||||
|
;
|
||||||
|
|
||||||
inherit
|
inherit
|
||||||
(this.std)
|
(this.std)
|
||||||
flip
|
flip
|
||||||
|
hasAttrAt
|
||||||
|
projectOnto
|
||||||
recdef
|
recdef
|
||||||
removeAttrsRec
|
removeAttrsRec
|
||||||
;
|
;
|
||||||
|
|
||||||
inherit
|
inherit
|
||||||
(this.parse)
|
(this.std.terminal)
|
||||||
enfIsClassSig
|
|
||||||
hasAttrAt
|
|
||||||
mkTrapdoorSet
|
|
||||||
ntTrapdoorKey
|
|
||||||
parseClassSig
|
|
||||||
projectOnto
|
|
||||||
;
|
|
||||||
|
|
||||||
inherit
|
|
||||||
(this.types)
|
|
||||||
Terminal
|
Terminal
|
||||||
;
|
;
|
||||||
|
|
||||||
|
|
|
||||||
|
|
@ -11,22 +11,23 @@
|
||||||
toTypeSig
|
toTypeSig
|
||||||
;
|
;
|
||||||
|
|
||||||
inherit
|
|
||||||
(this.std)
|
|
||||||
contains
|
|
||||||
;
|
|
||||||
|
|
||||||
inherit
|
|
||||||
(this.maybe)
|
|
||||||
isSome
|
|
||||||
bindMaybe
|
|
||||||
;
|
|
||||||
|
|
||||||
inherit
|
inherit
|
||||||
(this.trapdoor)
|
(this.trapdoor)
|
||||||
mkTrapdoorKey
|
mkTrapdoorKey
|
||||||
openTrapdoor
|
openTrapdoor
|
||||||
;
|
;
|
||||||
|
|
||||||
|
inherit
|
||||||
|
(this.std)
|
||||||
|
contains
|
||||||
|
not
|
||||||
|
;
|
||||||
|
|
||||||
|
inherit
|
||||||
|
(this.std.maybe)
|
||||||
|
isSome
|
||||||
|
bindMaybe
|
||||||
|
;
|
||||||
in rec {
|
in rec {
|
||||||
ntTrapdoorKey = mkTrapdoorKey "nt";
|
ntTrapdoorKey = mkTrapdoorKey "nt";
|
||||||
ntDynamicTrapdoorKey = mkTrapdoorKey "ntDyn";
|
ntDynamicTrapdoorKey = mkTrapdoorKey "ntDyn";
|
||||||
|
|
@ -34,7 +35,7 @@ in rec {
|
||||||
openNT = openTrapdoor ntTrapdoorKey;
|
openNT = openTrapdoor ntTrapdoorKey;
|
||||||
|
|
||||||
# check if a value is NOT NixTypes compatible
|
# check if a value is NOT NixTypes compatible
|
||||||
isPrimitive = ! isNT;
|
isPrimitive = not isNT;
|
||||||
|
|
||||||
# check if a value is NixTypes compatible
|
# check if a value is NixTypes compatible
|
||||||
isNT = T:
|
isNT = T:
|
||||||
|
|
|
||||||
|
|
@ -14,12 +14,6 @@
|
||||||
openNT
|
openNT
|
||||||
;
|
;
|
||||||
|
|
||||||
inherit
|
|
||||||
(this.maybe)
|
|
||||||
bindMaybe
|
|
||||||
isSome
|
|
||||||
;
|
|
||||||
|
|
||||||
inherit
|
inherit
|
||||||
(this.std)
|
(this.std)
|
||||||
filterEven
|
filterEven
|
||||||
|
|
@ -29,6 +23,12 @@
|
||||||
stringHead
|
stringHead
|
||||||
stringTail
|
stringTail
|
||||||
;
|
;
|
||||||
|
|
||||||
|
inherit
|
||||||
|
(this.std.maybe)
|
||||||
|
bindMaybe
|
||||||
|
isSome
|
||||||
|
;
|
||||||
in rec {
|
in rec {
|
||||||
parseSig = sig: let
|
parseSig = sig: let
|
||||||
result = split "::" sig |> filterEven;
|
result = split "::" sig |> filterEven;
|
||||||
|
|
|
||||||
|
|
@ -11,7 +11,7 @@
|
||||||
;
|
;
|
||||||
|
|
||||||
inherit
|
inherit
|
||||||
(this.maybe)
|
(this.std.maybe)
|
||||||
Some
|
Some
|
||||||
None
|
None
|
||||||
;
|
;
|
||||||
|
|
|
||||||
|
|
@ -7,7 +7,7 @@
|
||||||
;
|
;
|
||||||
|
|
||||||
inherit
|
inherit
|
||||||
(this.std)
|
(this)
|
||||||
enfIsAttrs
|
enfIsAttrs
|
||||||
;
|
;
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue