Searched defs:numToTrustInfo (Results 1 – 4 of 4) sorted by relevance
69 numToTrustInfo 0 = setSafeMode Sf_None function70 numToTrustInfo 1 = setSafeMode Sf_Unsafe function71 numToTrustInfo 2 = setSafeMode Sf_Trustworthy function72 numToTrustInfo 3 = setSafeMode Sf_Safe function73 numToTrustInfo 4 = setSafeMode Sf_SafeInferred function74 numToTrustInfo n = error $ "numToTrustInfo: bad input number! (" ++ show n ++ ")" function
3119 numToTrustInfo 0 = setSafeMode Sf_None function3120 numToTrustInfo 1 = setSafeMode Sf_Unsafe function3121 numToTrustInfo 2 = setSafeMode Sf_Trustworthy function3122 numToTrustInfo 3 = setSafeMode Sf_Safe function3123 numToTrustInfo 4 = setSafeMode Sf_SafeInferred function3124 numToTrustInfo n = error $ "numToTrustInfo: bad input number! (" ++ show n ++ ")" function
3072 numToTrustInfo 0 = setSafeMode Sf_None function3073 numToTrustInfo 1 = setSafeMode Sf_Unsafe function3074 numToTrustInfo 2 = setSafeMode Sf_Trustworthy function3075 numToTrustInfo 3 = setSafeMode Sf_Safe function3076 numToTrustInfo 4 = setSafeMode Sf_SafeInferred function3077 numToTrustInfo n = error $ "numToTrustInfo: bad input number! (" ++ show n ++ ")" function