From 174af2ba568de66e0d890825b8bda930b8e7bb96 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Mon, 10 Nov 2025 21:49:45 +0100 Subject: Move module hierarchy under CHAD. --- src/ForwardAD/DualNumbers/Types.hs | 48 -------------------------------------- 1 file changed, 48 deletions(-) delete mode 100644 src/ForwardAD/DualNumbers/Types.hs (limited to 'src/ForwardAD/DualNumbers') diff --git a/src/ForwardAD/DualNumbers/Types.hs b/src/ForwardAD/DualNumbers/Types.hs deleted file mode 100644 index dcacf5f..0000000 --- a/src/ForwardAD/DualNumbers/Types.hs +++ /dev/null @@ -1,48 +0,0 @@ -{-# LANGUAGE DataKinds #-} -{-# LANGUAGE TypeFamilies #-} -{-# LANGUAGE TypeOperators #-} -module ForwardAD.DualNumbers.Types where - -import AST.Types -import Data - - --- | Dual-numbers transformation -type family DN t where - DN TNil = TNil - DN (TPair a b) = TPair (DN a) (DN b) - DN (TEither a b) = TEither (DN a) (DN b) - DN (TLEither a b) = TLEither (DN a) (DN b) - DN (TMaybe t) = TMaybe (DN t) - DN (TArr n t) = TArr n (DN t) - DN (TScal t) = DNS t - -type family DNS t where - DNS TF32 = TPair (TScal TF32) (TScal TF32) - DNS TF64 = TPair (TScal TF64) (TScal TF64) - DNS TI32 = TScal TI32 - DNS TI64 = TScal TI64 - DNS TBool = TScal TBool - -type family DNE env where - DNE '[] = '[] - DNE (t : ts) = DN t : DNE ts - -dn :: STy t -> STy (DN t) -dn STNil = STNil -dn (STPair a b) = STPair (dn a) (dn b) -dn (STEither a b) = STEither (dn a) (dn b) -dn (STLEither a b) = STLEither (dn a) (dn b) -dn (STMaybe t) = STMaybe (dn t) -dn (STArr n t) = STArr n (dn t) -dn (STScal t) = case t of - STF32 -> STPair (STScal STF32) (STScal STF32) - STF64 -> STPair (STScal STF64) (STScal STF64) - STI32 -> STScal STI32 - STI64 -> STScal STI64 - STBool -> STScal STBool -dn STAccum{} = error "Accum in source program" - -dne :: SList STy env -> SList STy (DNE env) -dne SNil = SNil -dne (t `SCons` env) = dn t `SCons` dne env -- cgit v1.2.3-70-g09d2