git.iko.soy/Idris-dev
on master help sign in
Idiom brackets for Raw terms
86d1510David Raymond Christiansen
libs/base/Language/Reflection/Utils.idr+9
compare with master
unifiedsplit
@@ -297,3 +297,12 @@ instance Show Err where
297 show (ProviderError x) = "ProviderError \"" ++ show x ++ "\""
297 show (ProviderError x) = "ProviderError \"" ++ show x ++ "\""
298 show (LoadingFailed x err) = "LoadingFailed " ++ show x ++ " (" ++ show err ++ ")"
298 show (LoadingFailed x err) = "LoadingFailed " ++ show x ++ " (" ++ show err ++ ")"
299
299
300+-------------------------
301+-- Idiom brackets for Raw
302+-------------------------
303+
304+(<*>) : Raw -> Raw -> Raw
305+(<*>) = RApp
306+
307+pure : Raw -> Raw
308+pure = id