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)) |