From 823302458ec6c53455a3f34674415c43ce6a3187 Mon Sep 17 00:00:00 2001
From: "Vito G. Graffagnino" <vito@graffagnino.xyz>
Date: Sun, 28 Aug 2022 12:24:01 +0100
Subject: Added snippets directory

---
 snippets/idris.snippets | 46 ++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 46 insertions(+)
 create mode 100644 snippets/idris.snippets

(limited to 'snippets/idris.snippets')

diff --git a/snippets/idris.snippets b/snippets/idris.snippets
new file mode 100644
index 0000000..abbedb6
--- /dev/null
+++ b/snippets/idris.snippets
@@ -0,0 +1,46 @@
+snippet mod
+	module `substitute(substitute(expand('%:r'), '[/\\]','.','g'),'^\%(\l*\.\)\?','','')`
+	${0}
+snippet imp
+	import ${0:List}
+snippet fn
+	${1:fn} : ${2:a} -> ${3:a}
+	$1 ${4} =
+		${0}
+snippet fn1
+	${1:fn} : ${2:a} -> ${3:a}
+	$1 ${4} =
+		${0}
+snippet fn2
+	${1:fn} : ${2:a} -> ${3:a} -> ${4:a}
+	$1 ${5} =
+		${0}
+snippet fn3
+	${1:fn} : ${2:a} -> ${3:a} -> ${4:a} -> ${5:a}
+	$1 ${6} =
+		${0}
+snippet fn0
+	${1:fn} : ${2:a}
+	$1 =
+		${0}
+snippet case
+	case ${1} of
+		${2} =>
+			${0}
+snippet let
+	let
+		${1} =
+			${2}
+	in
+		${0}
+snippet wh
+	where
+		${0}
+snippet if
+	if ${1} then
+		${2:${VISUAL}}
+	else
+		${0}
+	${0}
+snippet \ "Lambda function (\x => ...)"
+	(\\${1:_} => ${0})
-- 
cgit v1.2.3