Lysxia/first-class-families
1
1
Fork 0
mirror of https://github.com/Lysxia/first-class-families.git synced 2024-09-11 19:47:12 +03:00
Code Issues Projects Releases Wiki Activity

lifted list catenation

Browse Source
This commit is contained in:
William Rusnack 2024-08-14 11:02:22 -04:00
parent 2a4bbea694
commit 5d96b1919e
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Fcf/Data/List.hs
View File

@ -11,6 +11,7 @@
module Fcf.Data.List
( -- * Basic functions
type (++)
, type (^++^)
, Head
, Last
, Tail
@ -105,6 +106,9 @@ import Fcf.Utils (If, TyEq)
data (++) :: [a] -> [a] -> Exp [a]
type instance Eval ((++) xs ys) = xs <> ys
infixr 5 ^++^
data (^++^) :: Exp [a] -> Exp [a] -> Exp [a]
type instance Eval ((^++^) xs ys) = Eval (LiftM2 (++) xs ys)
data Head :: [a] -> Exp (Maybe a)
type instance Eval (Head '[]) = 'Nothing