type Rep Direction	Since: si-bytes-0.1
Instance details Defined in Data.Bytes.Network.Direction type Rep Direction = D1 ('MetaData "Direction" "Data.Bytes.Network.Direction" "si-bytes-0.1-inplace" 'False) (C1 ('MetaCons "Down" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Up" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: Direction -> Rep Direction x #

to :: Rep Direction x -> Direction #

Show Direction Source #

Since: 0.1

Instance details

Defined in Data.Bytes.Network.Direction

Methods

showsPrec :: Int -> Direction -> ShowS #

show :: Direction -> String #

showList :: [Direction] -> ShowS #

NFData Direction Source #

Since: 0.1

Instance details

Defined in Data.Bytes.Network.Direction

Methods

rnf :: Direction -> () #

Eq Direction Source #

Since: 0.1

Instance details

Defined in Data.Bytes.Network.Direction

Methods

(==) :: Direction -> Direction -> Bool #

(/=) :: Direction -> Direction -> Bool #

Hashable Direction Source #

Since: 0.1

Instance details

Defined in Data.Bytes.Network.Direction

Methods

hashWithSalt :: Int -> Direction -> Int Source #

hash :: Direction -> Int Source #

Parser Direction Source #

Since: 0.1

Instance details

Defined in Data.Bytes.Network.Direction

Methods

parser :: Parsec Void Text Direction Source #

TestEquality SDirection Source #

Since: 0.1

Instance details

Defined in Data.Bytes.Network.Direction

Methods

testEquality :: forall (a :: Direction) (b :: Direction). SDirection a -> SDirection b -> Maybe (a :~: b) #

type Rep Direction Source #

Since: 0.1

Instance details

Defined in Data.Bytes.Network.Direction

type Rep Direction = D1 ('MetaData "Direction" "Data.Bytes.Network.Direction" "si-bytes-0.1-inplace" 'False) (C1 ('MetaCons "Down" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Up" 'PrefixI 'False) (U1 :: Type -> Type))

data SDirection (d :: Direction) where Source #

Singleton for Direction.

Since: 0.1

Constructors

SDown :: SDirection 'Down	Since: 0.1
SUp :: SDirection 'Up	Since: 0.1

Instances

Instances details

TestEquality SDirection Source #	Since: 0.1
Instance details Defined in Data.Bytes.Network.Direction Methods testEquality :: forall (a :: Direction) (b :: Direction). SDirection a -> SDirection b -> Maybe (a :~: b) #
Show (SDirection d) Source #	Since: 0.1
Instance details Defined in Data.Bytes.Network.Direction Methods showsPrec :: Int -> SDirection d -> ShowS # show :: SDirection d -> String # showList :: [SDirection d] -> ShowS #
NFData (SDirection d) Source #	Since: 0.1
Instance details Defined in Data.Bytes.Network.Direction Methods rnf :: SDirection d -> () #

class SingDirection (d :: Direction) where Source #

Typeclass for recovering the Direction at runtime.

Since: 0.1

Methods

singDirection :: SDirection d Source #

Since: 0.1

Instances

Instances details

SingDirection 'Down Source #	Since: 0.1
Instance details Defined in Data.Bytes.Network.Direction Methods singDirection :: SDirection 'Down Source #
SingDirection 'Up Source #	Since: 0.1
Instance details Defined in Data.Bytes.Network.Direction Methods singDirection :: SDirection 'Up Source #

class Directed a where Source #

Types that have a direction.

Since: 0.1

Associated Types

type HideDirection a Source #

Type used to hide the size.

Since: 0.1

Methods

directionOf :: a -> Direction Source #

Retrieve the direction.

Examples

Expand

>>> import Data.Bytes.Network
>>> directionOf (MkNetBytesP @Up @G 7)
Up

>>> directionOf (hideSize $ hideDirection $ MkNetBytesP @Down @M 100)
Down

Since: 0.1

hideDirection :: a -> HideDirection a Source #

Hides the direction.

Examples

Expand

>>> import Data.Bytes.Network (NetBytes (..), Size (..))
>>> hideDirection (MkNetBytesP @Up @G 7)
MkSomeNetDir SUp (MkNetBytes (MkBytes 7))

Since: 0.1

Instances

Instances details

Directed (SomeNet n) Source #

Since: 0.1

Instance details

Defined in Data.Bytes.Network.Internal

Associated Types

type HideDirection (SomeNet n)
Instance details Defined in Data.Bytes.Network.Internal type HideDirection (SomeNet n) = SomeNet n

Methods

directionOf :: SomeNet n -> Direction Source #

hideDirection :: SomeNet n -> HideDirection (SomeNet n) Source #

Directed (SomeNetDir s n) Source #

Since: 0.1

Instance details

Defined in Data.Bytes.Network.Internal

Associated Types

type HideDirection (SomeNetDir s n)
Instance details Defined in Data.Bytes.Network.Internal type HideDirection (SomeNetDir s n) = SomeNetDir s n

Methods

directionOf :: SomeNetDir s n -> Direction Source #

hideDirection :: SomeNetDir s n -> HideDirection (SomeNetDir s n) Source #

SingDirection d => Directed (SomeNetSize d n) Source #

Since: 0.1

Instance details

Defined in Data.Bytes.Network.Internal

Associated Types

type HideDirection (SomeNetSize d n)
Instance details Defined in Data.Bytes.Network.Internal type HideDirection (SomeNetSize d n) = SomeNet n

Methods

directionOf :: SomeNetSize d n -> Direction Source #

hideDirection :: SomeNetSize d n -> HideDirection (SomeNetSize d n) Source #

SingDirection d => Directed (NetBytes d s n) Source #

Since: 0.1

Instance details

Defined in Data.Bytes.Network.Internal

Associated Types

type HideDirection (NetBytes d s n)
Instance details Defined in Data.Bytes.Network.Internal type HideDirection (NetBytes d s n) = SomeNetDir s n

Methods

directionOf :: NetBytes d s n -> Direction Source #

hideDirection :: NetBytes d s n -> HideDirection (NetBytes d s n) Source #

withSingDirection :: forall (d :: Direction) r. SDirection d -> (SingDirection d => r) -> r Source #

Singleton "with"-style convenience function. Allows us to run a computation SingDirection d => r without explicitly pattern-matching every time.

Since: 0.1

sdirectionToDirection :: forall (d :: Direction). SDirection d -> Direction Source #

Since: 0.1

Optics

_Down :: Prism' Direction () Source #

Since: 0.1

_Up :: Prism' Direction () Source #

Since: 0.1