diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-06-06 14:05:46 +0200 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-06-06 14:05:46 +0200 |
| commit | 5e77fbb23845292920cdfdc6cca8fe4fbdd0709a (patch) | |
| tree | de20c43d3b09bd4f8e9bbad622863061153d7066 /src/Data/Array/Nested | |
| parent | 21eb3ead0ced0aaca4fb400e98349b8acb99599a (diff) | |
Derive instance Show (Castable a b)
Diffstat (limited to 'src/Data/Array/Nested')
| -rw-r--r-- | src/Data/Array/Nested/Convert.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Data/Array/Nested/Convert.hs b/src/Data/Array/Nested/Convert.hs index cea2489..d07bab9 100644 --- a/src/Data/Array/Nested/Convert.hs +++ b/src/Data/Array/Nested/Convert.hs @@ -3,6 +3,7 @@ {-# LANGUAGE PolyKinds #-} {-# LANGUAGE RankNTypes #-} {-# LANGUAGE ScopedTypeVariables #-} +{-# LANGUAGE StandaloneDeriving #-} {-# LANGUAGE TypeAbstractions #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeOperators #-} @@ -150,6 +151,7 @@ data Castable a b where => Castable (Mixed sh a, Mixed sh b) (Mixed sh (a, b)) CastUnzip :: (Elt a, Elt b) => Castable (Mixed sh (a, b)) (Mixed sh a, Mixed sh b) +deriving instance Show (Castable a b) instance Category Castable where id = CastId |