Searched refs:FlatType (Results 1 – 3 of 3) sorted by relevance
7 , FlatType(..)82 data FlatType type121 | Structure FlatType387 termToCanType :: FlatType -> StateT NameState IO Can.Type506 termToErrorType :: FlatType -> StateT NameState IO ET.Type
375 unifyFlexSuperStructure :: Context -> SuperType -> FlatType -> Unify ()513 unifyStructure :: Context -> FlatType -> Content -> Content -> Unify ()
708 traverseFlatType :: (Variable -> IO Variable) -> FlatType -> IO FlatType