aboutsummaryrefslogtreecommitdiff
path: root/source/lux/data/id.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--source/lux/data/id.lux27
1 files changed, 0 insertions, 27 deletions
diff --git a/source/lux/data/id.lux b/source/lux/data/id.lux
deleted file mode 100644
index e4f2a775f..000000000
--- a/source/lux/data/id.lux
+++ /dev/null
@@ -1,27 +0,0 @@
-## Copyright (c) Eduardo Julian. All rights reserved.
-## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
-## If a copy of the MPL was not distributed with this file,
-## You can obtain one at http://mozilla.org/MPL/2.0/.
-
-(;import lux
- (lux/control (functor #as F #refer #all)
- (monad #as M #refer #all)
- (comonad #as CM #refer #all)))
-
-## [Types]
-(deftype #export (Id a)
- a)
-
-## [Structures]
-(defstruct #export Id/Functor (Functor Id)
- (def map id))
-
-(defstruct #export Id/Monad (Monad Id)
- (def _functor Id/Functor)
- (def wrap id)
- (def join id))
-
-(defstruct #export Id/CoMonad (CoMonad Id)
- (def _functor Id/Functor)
- (def unwrap id)
- (def split id))