Toggle navigation
KiCS2
All operations
All constructors
Curry Homepage
KiCS2 Libraries
About CurryDoc
Index to all operations
C
D
E
F
I
T
W
C
checkContractUsage
(
Contract.Usage
)
C
D
E
F
I
T
W
D
decodeContractName
(
Contract.Names
)
decodeContractQName
(
Contract.Names
)
C
D
E
F
I
T
W
E
encodeContractName
(
Contract.Names
)
encodeContractQName
(
Contract.Names
)
C
D
E
F
I
T
W
F
fromNonFailName
(
Contract.Names
)
fromPostCondName
(
Contract.Names
)
fromPreCondName
(
Contract.Names
)
fromSpecName
(
Contract.Names
)
C
D
E
F
I
T
W
I
isNonFailName
(
Contract.Names
)
isPostCondName
(
Contract.Names
)
isPreCondName
(
Contract.Names
)
isSpecName
(
Contract.Names
)
C
D
E
F
I
T
W
T
toNonFailName
(
Contract.Names
)
toNonFailQName
(
Contract.Names
)
toPostCondName
(
Contract.Names
)
toPostCondQName
(
Contract.Names
)
toPreCondName
(
Contract.Names
)
toPreCondQName
(
Contract.Names
)
toSpecName
(
Contract.Names
)
toSpecQName
(
Contract.Names
)
C
D
E
F
I
T
W
W
withContract1
(
Test.Contract
)
withContract1ND
(
Test.Contract
)
withContract2
(
Test.Contract
)
withContract2ND
(
Test.Contract
)
withPostContract0
(
Test.Contract
)
withPostContract0ND
(
Test.Contract
)
withPostContract1
(
Test.Contract
)
withPostContract1ND
(
Test.Contract
)
withPostContract2
(
Test.Contract
)
withPostContract2ND
(
Test.Contract
)
withPreContract1
(
Test.Contract
)
withPreContract2
(
Test.Contract
)
C
D
E
F
I
T
W