Skip to content

Expose internal module#1

Open
expipiplus1 wants to merge 1 commit intominoki:masterfrom
expipiplus1:master
Open

Expose internal module#1
expipiplus1 wants to merge 1 commit intominoki:masterfrom
expipiplus1:master

Conversation

@expipiplus1
Copy link
Copy Markdown

No description provided.

@minoki
Copy link
Copy Markdown
Owner

minoki commented Oct 9, 2024

I'd like to know the use case for the Internal module.

@expipiplus1
Copy link
Copy Markdown
Author

Can't remember for sure now, probably to get access to the newtype constructors for deriving some instance

@walseb
Copy link
Copy Markdown

walseb commented Apr 9, 2026

I second this, I can't derive complicated new instances of the Unboxable typeclass without getting access to Data.Vector.Unboxing.Internal, as methods like unboxingTo and unboxingFrom are internal.

For example, I can't derive Linear V2 without access to them it seems:

instance (Unboxable a) => Unboxable (X.V2 a) where
  type Rep (X.V2 a) = X.V2 (Rep a)

Perhaps they should just be made external instead?

Anyways, thanks so much for making this library! It saved me a headache.

@walseb
Copy link
Copy Markdown

walseb commented Apr 9, 2026

Perhaps something like this? walseb@e0dc49b

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants