From 3ea9db1c82ae16e38a1eab86aa44ed74b8635ee0 Mon Sep 17 00:00:00 2001 From: rhiannon morris Date: Sun, 27 Feb 2022 01:46:31 +0100 Subject: [PATCH] export bodies of CanShift instances and rename Compose to Map --- src/Quox/Syntax/Shift.idr | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/Quox/Syntax/Shift.idr b/src/Quox/Syntax/Shift.idr index bda6693..67d3903 100644 --- a/src/Quox/Syntax/Shift.idr +++ b/src/Quox/Syntax/Shift.idr @@ -207,9 +207,9 @@ interface CanShift f where export CanShift Var where i // by = shift by i namespace CanShift - export - [Compose] (Functor f, CanShift tm) => CanShift (f . tm) where + public export + [Map] (Functor f, CanShift tm) => CanShift (f . tm) where x // by = map (// by) x - export + public export [Const] CanShift (\_ => a) where x // _ = x