Safe Haskell	Safe-Inferred
Language	Haskell2010

Autodocodec.Nix

Contents

Producing a Nixos module type
Rendering Haskell values as Nix values
Expressions

Synopsis

renderNixOptionTypeViaCodec :: forall a. HasCodec a => Text
renderNixOptionsViaCodec :: forall a. HasObjectCodec a => Text
renderNixOptionTypeVia :: ValueCodec input output -> Text
renderNixOptionsVia :: ObjectCodec input output -> Text
valueCodecNixOptionType :: ValueCodec input output -> Maybe OptionType
objectCodecNixOptions :: ObjectCodec input output -> Map Text Option
data Option = Option {
- optionType :: !(Maybe OptionType)
- optionDescription :: !(Maybe Text)
- optionDefault :: !(Maybe Value)
}
emptyOption :: Option
simplifyOption :: Option -> Option
data OptionType
- = OptionTypeNull
- | OptionTypeSimple !Text
- | OptionTypeEnum ![Expression]
- | OptionTypeNullOr !OptionType
- | OptionTypeListOf !OptionType
- | OptionTypeAttrsOf !OptionType
- | OptionTypeOneOf ![OptionType]
- | OptionTypeSubmodule !(Map Text Option)
simplifyOptionType :: OptionType -> OptionType
renderOption :: Option -> Text
renderOptionType :: OptionType -> Text
withNixArgs :: Expression -> Expression
optionExpression :: Option -> Expression
optionExpr :: Option -> Expression
optionsExpression :: Map Text Option -> Expression
optionsExpr :: Map Text Option -> Expression
optionTypeExpression :: OptionType -> Expression
optionTypeExpr :: OptionType -> Expression
toNixExpressionViaCodec :: HasCodec a => a -> Expression
toNixExpressionVia :: ValueCodec a void -> a -> Expression
objectToNixExpressionViaCodec :: HasObjectCodec a => a -> Map Text Expression
objectToNixExpressionVia :: ObjectCodec a void -> a -> Map Text Expression
data Expression
- = ExprNull
- | ExprLitBool !Bool
- | ExprLitString !Text
- | ExprLitNumber !Scientific
- | ExprLitList ![Expression]
- | ExprVar !Text
- | ExprAttrSet !(Map Text Expression)
- | ExprAp !Expression !Expression
- | ExprFun ![Text] !Expression
- | ExprWith !Text !Expression
type Expr = Expression
renderExpression :: Expr -> Text
renderExpr :: Expr -> Text

Producing a Nixos module type

renderNixOptionTypeViaCodec :: forall a. HasCodec a => Text Source #

renderNixOptionsViaCodec :: forall a. HasObjectCodec a => Text Source #

renderNixOptionTypeVia :: ValueCodec input output -> Text Source #

renderNixOptionsVia :: ObjectCodec input output -> Text Source #

valueCodecNixOptionType :: ValueCodec input output -> Maybe OptionType Source #

objectCodecNixOptions :: ObjectCodec input output -> Map Text Option Source #

data Option Source #

Constructors

Option
Fields optionType :: !(Maybe OptionType) optionDescription :: !(Maybe Text) optionDefault :: !(Maybe Value)

Instances

Instances details

Show Option Source #
Instance details Defined in Autodocodec.Nix.Options Methods showsPrec :: Int -> Option -> ShowS # show :: Option -> String # showList :: [Option] -> ShowS #
Eq Option Source #
Instance details Defined in Autodocodec.Nix.Options Methods (==) :: Option -> Option -> Bool # (/=) :: Option -> Option -> Bool #
Ord Option Source #
Instance details Defined in Autodocodec.Nix.Options Methods compare :: Option -> Option -> Ordering # (<) :: Option -> Option -> Bool # (<=) :: Option -> Option -> Bool # (>) :: Option -> Option -> Bool # (>=) :: Option -> Option -> Bool # max :: Option -> Option -> Option # min :: Option -> Option -> Option #

emptyOption :: Option Source #

simplifyOption :: Option -> Option Source #

data OptionType Source #

Constructors

OptionTypeNull
OptionTypeSimple !Text
OptionTypeEnum ![Expression]
OptionTypeNullOr !OptionType
OptionTypeListOf !OptionType
OptionTypeAttrsOf !OptionType
OptionTypeOneOf ![OptionType]
OptionTypeSubmodule !(Map Text Option)

Instances

Instances details

Show OptionType Source #
Instance details Defined in Autodocodec.Nix.Options Methods showsPrec :: Int -> OptionType -> ShowS # show :: OptionType -> String # showList :: [OptionType] -> ShowS #
Eq OptionType Source #
Instance details Defined in Autodocodec.Nix.Options Methods (==) :: OptionType -> OptionType -> Bool # (/=) :: OptionType -> OptionType -> Bool #
Ord OptionType Source #
Instance details Defined in Autodocodec.Nix.Options Methods compare :: OptionType -> OptionType -> Ordering # (<) :: OptionType -> OptionType -> Bool # (<=) :: OptionType -> OptionType -> Bool # (>) :: OptionType -> OptionType -> Bool # (>=) :: OptionType -> OptionType -> Bool # max :: OptionType -> OptionType -> OptionType # min :: OptionType -> OptionType -> OptionType #

simplifyOptionType :: OptionType -> OptionType Source #

renderOption :: Option -> Text Source #

renderOptionType :: OptionType -> Text Source #

withNixArgs :: Expression -> Expression Source #

optionExpression :: Option -> Expression Source #

optionExpr :: Option -> Expression Source #

optionsExpression :: Map Text Option -> Expression Source #

optionsExpr :: Map Text Option -> Expression Source #

optionTypeExpression :: OptionType -> Expression Source #

optionTypeExpr :: OptionType -> Expression Source #

Rendering Haskell values as Nix values

toNixExpressionViaCodec :: HasCodec a => a -> Expression Source #

toNixExpressionVia :: ValueCodec a void -> a -> Expression Source #

Render a value as a nix expression via the given codec.

objectToNixExpressionViaCodec :: HasObjectCodec a => a -> Map Text Expression Source #

Render an object as a nix attribute set via its HasObjectCodec instance

Attrset

objectToNixExpressionVia :: ObjectCodec a void -> a -> Map Text Expression Source #

Render an object as a nix attribute set via the given object codec.

Attrset

Expressions

data Expression Source #

Constructors

ExprNull
ExprLitBool !Bool
ExprLitString !Text
ExprLitNumber !Scientific
ExprLitList ![Expression]
ExprVar !Text
ExprAttrSet !(Map Text Expression)
ExprAp !Expression !Expression
ExprFun ![Text] !Expression
ExprWith !Text !Expression

Instances

Instances details

Show Expression Source #
Instance details Defined in Autodocodec.Nix.Expression Methods showsPrec :: Int -> Expression -> ShowS # show :: Expression -> String # showList :: [Expression] -> ShowS #
Eq Expression Source #
Instance details Defined in Autodocodec.Nix.Expression Methods (==) :: Expression -> Expression -> Bool # (/=) :: Expression -> Expression -> Bool #
Ord Expression Source #
Instance details Defined in Autodocodec.Nix.Expression Methods compare :: Expression -> Expression -> Ordering # (<) :: Expression -> Expression -> Bool # (<=) :: Expression -> Expression -> Bool # (>) :: Expression -> Expression -> Bool # (>=) :: Expression -> Expression -> Bool # max :: Expression -> Expression -> Expression # min :: Expression -> Expression -> Expression #

type Expr = Expression Source #

renderExpression :: Expr -> Text Source #

renderExpr :: Expr -> Text Source #