Searched refs:TVFun (Results 1 – 6 of 6) sorted by relevance
40 | TVFun TValue TValue -- ^ @ a -> b @ constructor61 TVFun t1 t2 -> tFun (tValTy t1) (tValTy t2)143 (TCFun, [a, b]) -> Right $ TVFun (val a) (val b)
87 | `a -> b` | functions | `TVFun a b` |937 > zero (TVFun _ bty) = VFun (\_ -> pure (zero bty))1001 > TVFun _ bty -> pure $ VFun (\v -> go bty (appFun val v))1037 > TVFun _ bty -> pure $ VFun $ \v ->1087 > TVFun _ ety ->1125 > TVFun _ ety ->1171 > TVFun _ ety ->1351 > TVFun _ _ ->1407 > TVFun _ _ ->
232 TVFun _ ety ->313 TVFun _ ety ->384 TVFun _ b ->760 TVFun _ _ -> panic "Cryptol.Prims.Value.cmpValue"928 TVFun _ bty ->1350 TVFun _ bty ->1423 TVFun _ bty ->1885 TVFun _ bty -> lam sym (\ _ -> loop stk bty)
118 dumpableType (TVFun t1 t2) =158 TVFun{} -> Nothing361 testableType (TVFun t1 t2) =387 TVFun{} -> Nothing419 TVFun{} -> []
130 go (TVFun ty1 ty2) = (:) <$> finType ty1 <*> go ty2165 TVFun{} -> Nothing
490 TVFun _t1 t2 -> lam sym $ \a -> go stk t2 (fromVFun sym f a)522 TVFun _t1 t2 ->