Idiom brackets for Raw terms
commit86d1510800d9b5890eb2979663ec345dbbf8ced2
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateThu 23 Apr 2015, 16:15 (12 years ago)
parent4b7c132
libs/base/Language/Reflection/Utils.idr+9
@@ -297,3 +297,12 @@ instance Show Err where
297297 show (ProviderError x) = "ProviderError \"" ++ show x ++ "\""
298298 show (LoadingFailed x err) = "LoadingFailed " ++ show x ++ " (" ++ show err ++ ")"
299299
300+-------------------------
301+-- Idiom brackets for Raw
302+-------------------------
303+
304+(<*>) : Raw -> Raw -> Raw
305+(<*>) = RApp
306+
307+pure : Raw -> Raw
308+pure = id