diff options
Diffstat (limited to '')
| -rw-r--r-- | source/lux/data/id.lux | 27 | 
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))  | 
